Checking Secure Interactions of Smart Card Applets.

Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon

Browse the full ESORICS paper archive.