Georg Walter

According to our database, Georg Walter authored at least 4 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Analyzing SLE 88 memory management security using Interacting State Machines.

David von Oheimb, Volkmar Lotz, Georg Walter

Int. J. Inf. Sec., 2005

2003

Retail Banking: Status quo und Entwicklungslinien.

Dieter Bartmann, Georg Walter, Oliver Wild, Andreas Wimmer

HMD Prax. Wirtsch., 2003

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

David von Oheimb, Georg Walter, Volkmar Lotz

Proceedings of the Computer Security, 2003

1999

A Formal Security Model for Microprocessor Hardware.

Volkmar Lotz, Volker Kessler, Georg Walter

Proceedings of the FM'99 - Formal Methods, 1999