Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. - Aymerick Savary; Marc Frappier; Jean-Louis Lanet (IFM, 2013)

Model-Based Robustness Testing in Event-B Using Mutation. - Aymerick Savary; Marc Frappier; Michael Leuschel; Jean-Louis Lanet (SEFM, 2015)

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 (2016)