A Formal Security Model for Microprocessor Hardware. - Volkmar Lotz; Volker Kessler; Georg Walter (IEEE Trans. Software Eng., 2000)

A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. - David von Oheimb; Georg Walter; Volkmar Lotz (ESORICS, 2003)

Retail Banking: Status quo und Entwicklungslinien. - Dieter Bartmann; Georg Walter; Oliver Wild; Andreas Wimmer (HMD Prax. Wirtsch., 2003)

Analyzing SLE 88 memory management security using Interacting State Machines. - David von Oheimb; Volkmar Lotz; Georg Walter (Int. J. Inf. Sec., 2005)