Aymerick Savary

VTG - Vulnerability Test Generator, a Plug-in for Rodin

Marc Frappier, Jean-Louis Lanet, Aymerick Savary, 2012 .

Security Vulnerabilities Tests Generation from SysML and Event-B Models for EMV Cards

Jean-Louis Lanet, Abdelmalek Azizi, Mostafa Azizi, 2014 .

Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing

Marc Frappier, Jean-Louis Lanet, Aymerick Savary, 2013, IFM.

Model-Based Robustness Testing in Event-B Using Mutation

Marc Frappier, Jean-Louis Lanet, Michael Leuschel, 2015, SEFM.

Génération de tests de vulnérabilité pour vérifieur du typage Java Card

Marc Frappier, Jean-Louis Lanet, Aymerick Savary, 2011 .

Automatic Generation of Vulnerability Tests for the Java Card Byte Code Verifier

Marc Frappier, Jean-Louis Lanet, Aymerick Savary, 2011, 2011 Conference on Network and Information Systems Security.

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card. (Vulnerability detection into Java Card bytecode verifier)

Aymerick Savary, Aymerick Savary, 2016 .