E-smart 2001:
Cannes,
France
Isabelle Attali, Thomas P. Jensen (Eds.):
Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings.
Lecture Notes in Computer Science 2140 Springer 2001, ISBN 3-540-42610-8 BibTeX
@proceedings{DBLP:conf/esmart/2001,
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Smart Card Programming and Security, International Conference
on Research in Smart Cards, E-smart 2001, Cannes, France, September
19-21, 2001, Proceedings},
booktitle = {E-smart},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2140},
year = {2001},
isbn = {3-540-42610-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Contributed Paper
- Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa:
Jakarta: A Toolset for Reasoning about JavaCard.
2-18
Electronic Edition (Springer LINK) BibTeX
- Giampaolo Bella:
Mechanising a Protocol for Smart Cards.
19-33
Electronic Edition (Springer LINK) BibTeX
- Celeste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García:
JCCM: Flexible Certificates for Smartcards with Java Card.
34-42
Electronic Edition (Springer LINK) BibTeX
- Denis Caromel, Ludovic Henrio, Bernard P. Serpette:
Context Inference for Static Analysis of Java Card Object Sharing.
43-57
Electronic Edition (Springer LINK) BibTeX
- Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
Automated Test and Oracle Generation for Smart-Card Applications.
58-70
Electronic Edition (Springer LINK) BibTeX
- Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell:
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels.
71-82
Electronic Edition (Springer LINK) BibTeX
- Didier Donsez, Sébastien Jean, Sylvain Lecomte, Olivier Thomas:
Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP / MOM Approach in the Context of Java Cards.
83-94
Electronic Edition (Springer LINK) BibTeX
- Marc Éluard, Thomas P. Jensen, Ewen Denney:
An Operational Semantics of the Java Card Firewall.
95-110
Electronic Edition (Springer LINK) BibTeX
- Rajeev Goré, Phuong Thê Nguyên:
CardS4: Modal Theorem Proving on Java Smartcards.
111-123
Electronic Edition (Springer LINK) BibTeX
- Neil J. Henderson, Neil M. White, Pieter H. Hartel:
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric.
124-134
Electronic Edition (Springer LINK) BibTeX
- Roger Kehr, Hendrik Mieves:
SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs.
135-149
Electronic Edition (Springer LINK) BibTeX
- Xavier Leroy:
On-Card Bytecode Verification for Java Card.
150-164
Electronic Edition (Springer LINK) BibTeX
- Hans Meijer, Erik Poll:
Towards a Full Formal Specification of the JavaCard API.
165-178
Electronic Edition (Springer LINK) BibTeX
- Gisela Meister, Michael Vogel:
Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment Sector.
179-187
Electronic Edition (Springer LINK) BibTeX
- Michael Montgomery, Ksheerabdhi Krishna:
A Flexible Invocation Framework for Java Card.
188-199
Electronic Edition (Springer LINK) BibTeX
- Jean-Jacques Quisquater, David Samyde:
ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards.
200-210
Electronic Edition (Springer LINK) BibTeX
- Tanja Römer, Jean-Pierre Seifert:
Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm.
211-219
Electronic Edition (Springer LINK) BibTeX
- Bruno Struif:
Use of Biometrics for User Verification in Electronic Signature Smartcards.
220-227
Electronic Edition (Springer LINK) BibTeX
- Pascal Urien:
Programming Internet Smartcard with XML Scripts.
228-241
Electronic Edition (Springer LINK) BibTeX
- Hideo Yamamoto, Tetsutaro Kobayashi, Masahiro Morita, Ryuji Yamada:
Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards.
242-254
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:10:48 2009
by Michael Ley (ley@uni-trier.de)