Section: Bilateral Contracts and Grants with Industry

Bilateral Project with FIME

Participants : Thomas Jensen, Frédéric Besson, David Pichardie, Delphine Demange, Vincent Monfort, Pierre Vittet.

Static program analysis, Javacard, Certification, AFSCM

• Partner : FIME

• Period: Starting January 2012; ending February 2013

The FIME contract consists in an industrial transfer of the Sawja platform 5.2 adapted to analyse Javacard programs according to AFSCM (Association Française du Sans Contact Mobile) security guidelines. The outcome of the project is the Jacal (JAvaCard AnaLyser) ( 5.3 .