| CARDIS '02 | Secure Method Invocation in JASON | Richard Brinkman, Jaap-Henk Hoepman |
| CARDIS '02 | Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders | Helena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen |
| CARDIS '02 | Automatic Code Recognition for Smartcards Using a Kohonen Neural Network | Jean-Jacques Quisquater, David Samyde |
| CARDIS '02 | Breaking the Liardet-Smart Randomized Exponentiation Algorithm | Colin D. Walter |
| CARDIS '02 | A Protected Division Algorithm | Marc Joye, Karine Villegas |
| CARDIS '02 | A Java Reference Model of Transacted Memory for Smart Cards | Erik Poll, Pieter Hartel, Eduard de Jong |
| CARDIS '02 | Model Checking of Multi-Applet JavaCard Applications | Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov |
| CARDIS '02 | Secure Object Flow Analysis for Java Card | Marc Eluard, Thomas Jensen |
| CARDIS '02 | Extending Tamper-Proof Hardware Security to Untrusted Execution Environments | |
| CARDIS '02 | MICROCAST: Smart Card Based (Micro)Pay-per-View for Multicast Services | Josep Domingo-Ferrer, Antoni Martínez-Ballesté, Francesc Sebé |
| CARDIS '02 | On the Implementation of the Advanced Encryption Standard on a Public-key Crypto-Coprocessor | Antonio Valverde Garcia, Jean-Pierre Seifert |
| CARDIS '02 | Implementing Group Signature Schemes with Smart Cards | Sébastien Canard, Marc Girault |
| CARDIS '02 | Smart Cards in Interaction: Towards Trustworthy Digital Signatures | Roger Kilian-Kehr, Joachim Posegga |
| CARDIS '02 | Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder Authentication | Luciano Rila, Chris J. Mitchell |
