Conferences in DBLP

Research in Smart Cards (E-smart) (esmart)
2001 (conf/esmart/2001)

1. Simon W. Moore
   Protecting Consumer Security Devices. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:1- [Conf]
   
2. Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa
   Jakarta: A Toolset for Reasoning about JavaCard. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:2-18 [Conf]
   
3. Giampaolo Bella
   Mechanising a Protocol for Smart Cards. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:19-33 [Conf]
   
4. Celeste Campo, Andrés Marm, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García
   JCCM: Flexible Certificates for Smartcards with Java Card. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:34-42 [Conf]
   
5. Denis Caromel, Ludovic Henrio, Bernard P. Serpette
   Context Inference for Static Analysis of Java Card Object Sharing. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:43-57 [Conf]
   
6. Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
   Automated Test and Oracle Generation for Smart-Card Applications. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:58-70 [Conf]
   
7. Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell
   An Internet Authorization Scheme Using Smart-Card-Based Security Kernels. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:71-82 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:83-94 [Conf]
   
9. Marc Éluard, Thomas P. Jensen, Ewen Denney
   An Operational Semantics of the Java Card Firewall. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:95-110 [Conf]
   
10. Rajeev Goré, Phuong Thê Nguyên
    CardS4: Modal Theorem Proving on Java Smartcards. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:111-123 [Conf]
    
11. Neil J. Henderson, Neil M. White, Pieter H. Hartel
    iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:124-134 [Conf]
    
12. Roger Kehr, Hendrik Mieves
    SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:135-149 [Conf]
    
13. Xavier Leroy
    On-Card Bytecode Verification for Java Card. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:150-164 [Conf]
    
14. Hans Meijer, Erik Poll
    Towards a Full Formal Specification of the JavaCard API. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:165-178 [Conf]
    
15. Gisela Meister, Michael Vogel
    Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment Sector. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:179-187 [Conf]
    
16. Michael Montgomery, Ksheerabdhi Krishna
    A Flexible Invocation Framework for Java Card. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:188-199 [Conf]
    
17. Jean-Jacques Quisquater, David Samyde
    ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:200-210 [Conf]
    
18. Tanja Römer, Jean-Pierre Seifert
    Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:211-219 [Conf]
    
19. Bruno Struif
    Use of Biometrics for User Verification in Electronic Signature Smartcards. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:220-227 [Conf]
    
20. Pascal Urien
    Programming Internet Smartcard with XML Scripts. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:228-241 [Conf]
    
21. Hideo Yamamoto, Tetsutaro Kobayashi, Masahiro Morita, Ryuji Yamada
    Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:242-254 [Conf]