Download      Presentations and Papers

 
Presentations

New Perspectives for Java Card™
Dominique Bolignano
Cartes 2004, Paris, November 2004.

 EDEN: A formal framework for high-level security CC evaluations
Carolina Lavatelli
e-Smart'04, Sophia Antipolis, September 2004.

 Security and Programming Challenges in Programming Contactless Cards
Eric Vétillard and Alexandre Frey
e-Smart'04, Sophia Antipolis, September 2004.

 Exploiting type systems and static analyses for smart card security
Xavier Leroy
Cassis International Workshop, Marseille, March 11, 2004.

 Reaching ubiquity through invisibility
Eric Vétillard
Cassis International Workshop, Marseille, March 2004.

 Enforcing portability and security policies on Java Card applications
Eric Vétillard and Renaud Marlet
eSmart 03, Sophia Antipolis, September 2003.

 Smart card security from a programming language and static analysis perspective
Xavier Leroy
ETAPS 2003 Conference (European joint conferences on Theory And Practice of Software), Warsaw, April 9, 2003.

Papers

 Proactive Security for Mobile Applications
Eric Vétillard
October, 2004.

 Verification of Cryptographic Protocols Implemented in Java Card™
Renaud Marlet, Daniel Le Métayer
June 30, 2003.

Back to the top