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