Formal Proof of Smart Card Applets Correctness.

Jean-Louis Lanet, Antoine Requet

Browse the full CARDIS paper archive.