A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.

David von Oheimb, Georg Walter, Volkmar Lotz

Browse the full ESORICS paper archive.