Programs used and described in the book "Multivariate Public Key Cryptosystems" by Ding, Petzoldt and Schmidt. All programs can be downloaded via the attached zip file. Modify the file "startup.txt" so that the base directory matches your setup. Put this file where magma can find it.
After starting magma run: load "startup.txt"; It will then allow you to select the method on which you want to work.
Files can be downloaded individually by clicking on a chapter name and then selecting the scheme of interest.
The development of complex and dependable systems like autonomous vehicles relies increasingly on the use of systems modeling language (SysML). In fact, SysML has become a de facto standard for systems engineering. With model-driven engineering, a SysML model serves as a reference for the early defect detection of the system under design: the earlier the errors are detected, the less is the cost of handling the errors. Mutation testing is a fault-based technique that has recently seen its applications to SysML behavioral models (e.g., state machine diagrams). Specifically, a system's state-transition design can be fed to a model checker where mutants are automatically generated and then killed against the desired design specifications (e.g., safety properties). In this paper, we present a novel approach based on process mining to improve the effectiveness and efficiency of the SysML mutation testing based on model checking. In our approach, the mutation operators are applied directly to the state machine diagram. These mutants are then fed as traces into a process mining tool and checked according to the event logs. Our initial results indicates that the process mining approach kills more mutants faster than the model checking method.
Programs to chapter 5 of book "Multivariate Public Key Cryptosystems" by Ding, Petzoldt and Schmidt
For generating the public and private keys use; load "keygen.txt"
To sign a (randomly generated) document: load "sign.txt";
To verify the signature: load "verify.txt";
If the characteristic is odd use: load "forge_odd.txt"; The program uses only the data in public_key.txt and a randomly generated document and shows that its signature would be accepted.
The program "forge_even.txt" for the case with even characteristic will be added later
Magma programs related to chapter 6 of the book by Ding, Petzoldt and Schmidt.. a 3-pass version and a 5-pass version is given. After downloading the files use
Magma programs related to SFLASH in chapter 3 of the book by Ding, Petzoldt and Schmidt. The program was inteneded for signing a document. To run this program in Magma use
A document is generated at random. Provide your own documentn and change the parameters.