default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th CARDIS 2002: San Jose, CA, USA
- Peter Honeyman:
Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS '02, November 21-22, 2002, San Jose, CA, USA. USENIX 2002, ISBN 1-931971-04-8
Opening Remarks, Best Paper Awards
- Peter Honeyman:
Welcome to CARDIS 02. CARDIS 2002 - Pieter H. Hartel:
The State of WG 8.8. CARDIS 2002 - Jean-Jacques Quisquater:
Awards. CARDIS 2002
Keynote Address
- Vincent Cordonnier:
From the Smart Card to the Smart Assistant.
Digital Signatures
- Sébastien Canard, Marc Girault:
Implementing Group Signature Schemes with Smart Cards. 1-10 - Roger Kilian-Kehr, Joachim Posegga:
Smart Cards in Interaction: Towards Trustworthy Digital Signatures. 11-18
Secure Systems
- Luciano Rila, Chris J. Mitchell:
Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder Authentication. - Richard Brinkman, Jaap-Henk Hoepman:
Secure Method Invocation in JASON. 29-40 - Helena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen:
Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders.
Work in Progress and Other Outrageous Opinions
- Ulf Carlsen:
The QX Smart Card Operating System. CARDIS 2002 - David Hwang, Bo-Cheng Lai, Patrick Schaumont, Ingrid Verbauwhede:
A Security Protocol for Biometric Smart Cards. CARDIS 2002
RESET Meeting
Panel Session: Trusted Computing: Who's in Control?
Side-channel Attacks
- Jean-Jacques Quisquater, David Samyde:
Automatic Code Recognition for Smartcards Using a Kohonen Neural Network. - Colin D. Walter:
Breaking the Liardet-Smart Randomized Exponentiation Algorithm. 59-68 - Marc Joye, Karine Villegas:
A Protected Division Algorithm.
Formal Methods
- Erik Poll, Pieter H. Hartel, Eduard de Jong:
A Java Reference Model of Transacted Memory for Smart Cards. 75-86 - Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov:
Model Checking of Multi-Applet JavaCard Applications. 87-96 - Marc Éluard, Thomas P. Jensen:
Secure Object Flow Analysis for Java Card. 97-110
Applications of Tamper-Resistant Hardware
- Sergio Loureiro, Laurent Bussard, Yves Roudier:
Extending Tamper-Proof Hardware Security to Untrusted Execution Environments. 111-124 - Josep Domingo-Ferrer, Antoni Martínez-Ballesté, Francesc Sebé:
MICROCAST: Smart Card Based (Micro)Pay-per-View for Multicast Services. 125-134 - Antonio Valverde Garcia, Jean-Pierre Seifert:
On the Implementation of the Advanced Encryption Standard on a Public-key Crypto-Coprocessor. 135-146
Closing Session
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 2024-10-31 20:20 CET 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:
