Lazart: a symbolic approach for evaluating the robustness of secured codes against control flow fault injections

• Autores: Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil
• Localización: IEEE Seventh International Conference on Software Testing, Verification and Validation. 31 March�4 April 2014 Cleveland, Ohio, USA / coord. por Brian P. Robinson, Claes Wohlin, Laurie Williams, 2014, ISBN 9780769551852, págs. 213-222
• Idioma: inglés
• Texto completo no disponible (Saber más ...)