... | @@ -55,7 +55,7 @@ To get started with lazart, please consider the following guides and tutorials: |
... | @@ -55,7 +55,7 @@ To get started with lazart, please consider the following guides and tutorials: |
|
* M-L. Potet, L. Mounier, M. Puys, "Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections" - _22014 IEEE Seventh International Conference on Software Testing, Verification and Validation_ , doi: 10.1109/ICST.2014.34.
|
|
* M-L. Potet, L. Mounier, M. Puys, "Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections" - _22014 IEEE Seventh International Conference on Software Testing, Verification and Validation_ , doi: 10.1109/ICST.2014.34. \[[PDF](https://hal.science/hal-02951150/document)\]
|