Current directions in smart cards
From smart cards to smart objects: the road to new smart technologies
An integrated development environment for Java Card
Formal specification of the JavaCard API in JML: the APDU class
Cryptography on smart cards
Cryptographic authentication protocols for smart cards
E-commerce applications of smart cards
Standards in the smart card world
Call for Papers