Smart Card Programming and Security

International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings

  • Isabelle Attali
  • Thomas Jensen
Conference proceedings

DOI: 10.1007/3-540-45418-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2140)

Table of contents (21 papers)

  1. Front Matter
    Pages I-VIII
  2. Invited Talk

    1. Protecting Consumer Security Devices
      Simon Moore
      Pages 1-1
  3. Contributed Papers

    1. Jakarta: A Toolset for Reasoning about JavaCard
      G. Barthe, G. Dufay, M. Huisman, S. Melo de Sousa
      Pages 2-18
    2. Mechanising a Protocol for Smart Cards
      Giampaolo Bella
      Pages 19-33
    3. JCCM: Flexible Certificates for smartcards with Java Card
      Celeste Campo, Andrés Marín, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado et al.
      Pages 34-42
    4. Context Inference for Static Analysis of Java Card Object Sharing
      Denis Caromel, Ludovic Henrio, Bernard Serpette
      Pages 43-57
    5. Automated Test and Oracle Generation for Smart-Card Applications
      Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
      Pages 58-70
    6. An Internet Authorization Scheme Using Smart-Card-Based Security Kernels
      Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell
      Pages 71-82
    7. An Operational Semantics of the Java Card Firewall
      Marc Éluard, Thomas Jensen, Ewen Denne
      Pages 95-110
    8. CardS4: Modal Theorem Proving on Java Smartcards
      Rajeev Prabhakar Goré, Phuong Thê Nguyên
      Pages 111-123
    9. iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric
      Neil J. Henderson, Neil M. White, Pieter H. Hartel
      Pages 124-134
    10. On-Card Bytecode Verification for Java Card
      Xavier Leroy
      Pages 150-164
    11. Towards a Full Formal Specification of the JavaCard API
      Hans Meijer, Erik Poll
      Pages 165-178
    12. A Flexible Invocation Framework for Java Card
      Michael Montgomery, Ksheerabdhi Krishna
      Pages 188-199
    13. ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards
      Jean-Jacques Quisquater, David Samyde
      Pages 200-210

About these proceedings


Smart Card Smart cards biometrice consumer security cryptography devices digital payment e-commerce formal method formal verification java card java card firewall java cards programming security

Editors and affiliations

  • Isabelle Attali
    • 1
  • Thomas Jensen
    • 2
  1. 1.INRIA Sophia AntipolisSophia Antipolis CedexFrance
  2. 2.Campus de BeaulieuIRISA/CNRSRennesFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42610-3
  • Online ISBN 978-3-540-45418-2
  • Series Print ISSN 0302-9743