Pierre Bieber Jacques Cazin Pierre Girard Jean-Louis Lanet Virginie Wiels Guy Zanon Checking Secure Interactions of Smart Card Applets. 1-16 2000 conf/esorics/2000 ESORICS http://dx.doi.org/10.1007/10722599_1 db/conf/esorics/esorics2000.html#BieberCGLWZ00