Georg Walter

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

David von Oheimb, Volkmar Lotz, Georg Walter
Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec. 4 (3) (2005)
Dieter Bartmann, Georg Walter, Oliver Wild, Andreas Wimmer
Retail Banking: Status quo und Entwicklungslinien. HMD Prax. Wirtsch. 233 (2003)
David von Oheimb, Georg Walter, Volkmar Lotz
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS (2003)
Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26 (8) (2000)
Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods (1999)