Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil. Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. In IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA. pages 213-222, IEEE, 2014. [doi]
@inproceedings{PotetMPD14,
title = {Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections},
author = {Marie-Laure Potet and Laurent Mounier and Maxime Puys and Louis Dureuil},
year = {2014},
doi = {10.1109/ICST.2014.34},
url = {http://dx.doi.org/10.1109/ICST.2014.34},
researchr = {https://researchr.org/publication/PotetMPD14},
cites = {0},
citedby = {0},
pages = {213-222},
booktitle = {IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA},
publisher = {IEEE},
isbn = {978-0-7695-5185-2},
}