Germain Jolly

According to our database, Germain Jolly authored at least 4 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

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

Germain Jolly

PhD thesis, 2016

An Observe-and-Detect Methodology for the Security and Functional Testing of Smart Card Applications.

Germain Jolly, Sylvain Vernois, Christophe Rosenberger

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

2015

Generation of Local and Expected Behaviors of a Smart Card Application to Detect Software Anomaly.

Germain Jolly, Baptiste Hemery, Christophe Rosenberger

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification.

Germain Jolly, Sylvain Vernois, Jean-Luc Lambert

Proceedings of the Recent Trends in Computer Networks and Distributed Systems Security, 2014