Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections

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]

Authors

Marie-Laure Potet

This author has not been identified. Look up 'Marie-Laure Potet' in Google

Laurent Mounier

This author has not been identified. Look up 'Laurent Mounier' in Google

Maxime Puys

This author has not been identified. Look up 'Maxime Puys' in Google

Louis Dureuil

This author has not been identified. Look up 'Louis Dureuil' in Google