Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. - Claude Marché; Nicolas Rousset (SEFM, 2006)