E-smart

Keyphrases

Publications

2001

Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Context Inference for Static Analysis of Java Card Object Sharing. E-smart (2001)
Jean-Jacques Quisquater, David Samyde
ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards. E-smart (2001)
Roger Kehr, Hendrik Mieves
SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs. E-smart (2001)
Michael Montgomery, Ksheerabdhi Krishna
A Flexible Invocation Framework for Java Card. E-smart (2001)
Hans Meijer, Erik Poll
Towards a Full Formal Specification of the JavaCard API. E-smart (2001)
Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels. E-smart (2001)
Simon W. Moore
Protecting Consumer Security Devices. E-smart (2001)
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. E-smart (2001)
Tanja Römer, Jean-Pierre Seifert
Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm. E-smart (2001)
Bruno Struif
Use of Biometrics for User Verification in Electronic Signature Smartcards. E-smart (2001)
Xavier Leroy
On-Card Bytecode Verification for Java Card. E-smart (2001)
Rajeev Goré, Phuong Thê Nguyên
CardS4: Modal Theorem Proving on Java Smartcards. E-smart (2001)
Hideo Yamamoto, Tetsutaro Kobayashi, Masahiro Morita, Ryuji Yamada
Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards. E-smart (2001)
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
Automated Test and Oracle Generation for Smart-Card Applications. E-smart (2001)
Pascal Urien
Programming Internet Smartcard with XML Scripts. E-smart (2001)
Marc Éluard, Thomas P. Jensen, Ewen Denney
An Operational Semantics of the Java Card Firewall. E-smart (2001)
Neil J. Henderson, Neil M. White, Pieter H. Hartel
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. E-smart (2001)
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. E-smart (2001)
Giampaolo Bella
Mechanising a Protocol for Smart Cards. E-smart (2001)
Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa
Jakarta: A Toolset for Reasoning about JavaCard. E-smart (2001)
Gisela Meister, Michael Vogel
Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment Sector. E-smart (2001)

volume 2140, 2001

Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings E-smart 2140 (2001)