Abstract is missing.
- Protecting Consumer Security DevicesSimon W. Moore. 1 [doi]
- Jakarta: A Toolset for Reasoning about JavaCardGilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa. 2-18 [doi]
- Mechanising a Protocol for Smart CardsGiampaolo Bella. 19-33 [doi]
- JCCM: Flexible Certificates for Smartcards with Java CardCeleste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García. 34-42 [doi]
- Context Inference for Static Analysis of Java Card Object SharingDenis Caromel, Ludovic Henrio, Bernard P. Serpette. 43-57 [doi]
- Automated Test and Oracle Generation for Smart-Card ApplicationsDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. 58-70 [doi]
- An Internet Authorization Scheme Using Smart-Card-Based Security KernelsYves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell. 71-82 [doi]
- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP / MOM Approach in the Context of Java CardsDidier Donsez, Sébastien Jean, Sylvain Lecomte, Olivier Thomas. 83-94 [doi]
- An Operational Semantics of the Java Card FirewallMarc Éluard, Thomas P. Jensen, Ewen Denney. 95-110 [doi]
- CardS4: Modal Theorem Proving on Java SmartcardsRajeev Goré, Phuong Thê Nguyên. 111-123 [doi]
- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard BiometricNeil J. Henderson, Neil M. White, Pieter H. Hartel. 124-134 [doi]
- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMsRoger Kehr, Hendrik Mieves. 135-149 [doi]
- On-Card Bytecode Verification for Java CardXavier Leroy. 150-164 [doi]
- Towards a Full Formal Specification of the JavaCard APIHans Meijer, Erik Poll. 165-178 [doi]
- Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment SectorGisela Meister, Michael Vogel. 179-187 [doi]
- A Flexible Invocation Framework for Java CardMichael Montgomery, Ksheerabdhi Krishna. 188-199 [doi]
- ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart CardsJean-Jacques Quisquater, David Samyde. 200-210 [doi]
- Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature AlgorithmTanja Römer, Jean-Pierre Seifert. 211-219 [doi]
- Use of Biometrics for User Verification in Electronic Signature SmartcardsBruno Struif. 220-227 [doi]
- Programming Internet Smartcard with XML ScriptsPascal Urien. 228-241 [doi]
- Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart CardsHideo Yamamoto, Tetsutaro Kobayashi, Masahiro Morita, Ryuji Yamada. 242-254 [doi]