Ludovic Casset

Installation program compiles in particular a chip card

Damien Deville, Lilian Burdy, Antoine Requet, 2001 .

How to Formally Specify the Java Bytecode Semantivs Using the B Method

Jean-Louis Lanet, Ludovic Casset, Jean-Louis Lanet, 1999, ECOOP Workshops.

Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods

Ludovic Casset, 2002, FME.

Construction Correcte de Logiciels pour Carte Puce

Ludovic Casset, 2002 .

Application of the B formal method to the proof of a type verification algorithm

Gilles Grimaud, Antoine Requet, Ludovic Casset, 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

Construction correcte de logiciels pour carte à puce : Développement formel d'un vérifieur embarqué de byte code Java Card à l'aide de la méthode B

Ludovic Casset, 2002 .

Développement formel d'un vérifieur embarqué de byte-code Java

Lilian Burdy, Antoine Requet, Ludovic Casset, 2003, Tech. Sci. Informatiques.

Increasing smart card dependability

Jean-Louis Lanet, Ludovic Casset, 2002, EW 10.

Formal development of an embedded verifier for Java Card byte code

Lilian Burdy, Antoine Requet, Ludovic Casset, 2002, Proceedings International Conference on Dependable Systems and Networks.

Formal Implementation of a Verification Algorithm using the B Method

Ludovic Casset, 2001 .