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

Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil

Browse the full ICST paper archive.