Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification. - Germain Jolly; Sylvain Vernois; Jean-Luc Lambert (SNDS, 2014)

Generation of Local and Expected Behaviors of a Smart Card Application to Detect Software Anomaly. - Germain Jolly; Baptiste Hemery; Christophe Rosenberger (ARES, 2015)

An Observe-and-Detect Methodology for the Security and Functional Testing of Smart Card Applications. - Germain Jolly; Sylvain Vernois; Christophe Rosenberger (ICISSP, 2016)

Evaluation d'applications de paiement sur carte à puce. (Evaluation of payment applications on smart cards). - Germain Jolly (2016)