default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDE-smart 2001: Cannes, France
- Isabelle Attali, Thomas P. Jensen:
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
Invited Talk
- Simon W. Moore:
Protecting Consumer Security Devices. 1
Contributed Paper
- Gilles Barthe, Guillaume Dufay, Marieke Huisman
, Simão Melo de Sousa:
Jakarta: A Toolset for Reasoning about JavaCard. 2-18 - Giampaolo Bella:
Mechanising a Protocol for Smart Cards. 19-33 - 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 - Denis Caromel, Ludovic Henrio, Bernard P. Serpette:
Context Inference for Static Analysis of Java Card Object Sharing. 43-57 - Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
Automated Test and Oracle Generation for Smart-Card Applications. 58-70 - Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell:
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels. 71-82 - 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 - Marc Éluard, Thomas P. Jensen, Ewen Denney:
An Operational Semantics of the Java Card Firewall. 95-110 - Rajeev Goré, Phuong Thê Nguyên:
CardS4: Modal Theorem Proving on Java Smartcards. 111-123 - Neil James Henderson, Neil M. White, Pieter H. Hartel:
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. 124-134 - Roger Kehr, Hendrik Mieves:
SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs. 135-149 - Xavier Leroy:
On-Card Bytecode Verification for Java Card. 150-164 - Hans Meijer, Erik Poll:
Towards a Full Formal Specification of the JavaCard API. 165-178 - 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 - Michael Montgomery, Ksheerabdhi Krishna:
A Flexible Invocation Framework for Java Card. 188-199 - Jean-Jacques Quisquater, David Samyde:
ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards. 200-210 - Tanja Römer, Jean-Pierre Seifert:
Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm. 211-219 - Bruno Struif:
Use of Biometrics for User Verification in Electronic Signature Smartcards. 220-227 - Pascal Urien:
Programming Internet Smartcard with XML Scripts. 228-241 - Hideo Yamamoto, Tetsutaro Kobayashi, Masahiro Morita, Ryuji Yamada:
Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards. 242-254
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
