Abstract is missing.
- Enforcing High-Level Security Properties for AppletsMariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet. 1-16
- On-the-Fly Metadata Stripping for Embedded Java Operating SystemsChristophe Rippert, Damien Deville. 17-32
- Privacy Issues in RFID Banknotes Protection SchemesGildas Avoine. 33-48
- Smartcard-based AnonymizationAnas Abou El Kalam, Yves Deswarte, Gilles Trouessin, Emmanuel Cordonnier. 49-66
- Privacy Protecting Protocols for Revocable Digital SignaturesIstván Zsolt Berta, Levente Buttyán, István Vajda. 67-82
- Anonymous Services using Smart Cards and CryptographySébastien Canard, Jacques Traoré. 83-98
- Efficient Countermeasures against Power Analysis for Elliptic Curve CryptosystemsKouichi Itoh, Tetsuya Izu, Masahiko Takenaka. 99-114
- Smart-Card Implementation of Elliptic Curve Cryptography and DPA-type AttacksMarc Joye. 115-126
- Differential Power Analysis Model and Some ResultsSylvain Guilley, Philippe Hoogvorst, Renaud Pacalet. 127-142
- Place and Route for Secure Standard Cell DesignKris Tiri, Ingrid Verbauwhede. 143-158
- A Survey on Fault AttacksChristophe Giraud, Hugues Thiebeauld. 159-176
- Differential Fault Analysis Attack Resistant Architectures for the Advanced Encryption StandardMark G. Karpovsky, Konrad J. Kulikowski, Alexander Taubin. 177-192
- Secure Network Card. Implementation of a Standard Network Stack in a Smart CardMichael Montgomery, Asad Ali, Karen Lu. 193-208
- A Pattern Oriented Lightweight Middleware for SmartcardsJean-Michel Douin, Jean-Marie Gilliot. 209-224
- Card-Centric Framework - Providing I/O Resources for Smart CardsPak-Kee Chan, Oliver Chiu-sing Choy, Cheong-fat Chan, Kong-Pang Pun. 225-240
- On the Security of the DeKaRT PrimitiveGilles Piret, François-Xavier Standaert, Gaël Rouvroy, Jean-Jacques Quisquater. 241-254
- An Optimistic Fair Exchange Protocol for Trading Electronic RightsMasayuki Terada, Makoto Iguchi, Masayuki Hanadate, Ko Fujimura. 255-270
- Accountable Ring Signatures: A Smart Card ApproachShouhuai Xu, Moti Yung. 271-286
- Checking and Signing XML Documents on Java Smart CardsNils Gruschka, Florian Reuter, Norbert Luttenberger. 287-302
- XML Agent on Smart CardsSunil Sayyaparaju, Deepak B. Phatak. 303-316