Formal Development of an Embedded Verifier for Java Card Byte Code.

Ludovic Casset, Lilian Burdy, Antoine Requet

Browse the full DSN paper archive.