Formal Verification of Security Properties of Smart Card Embedded Source Code.

June Andronick, Boutheina Chetali, Christine Paulin-Mohring

Browse the full FM paper archive.