 | 2005 |
|---|
| 5 |       | 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 | | 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 | | Dieter Bartmann,
Georg Walter,
Oliver Wild,
Andreas Wimmer:
Retail Banking: Status quo und Entwicklungslinien.
HMD - Praxis Wirtschaftsinform. 233: (2003) |
| 2000 |
|---|
| 2 | | Volkmar Lotz,
Volker Kessler,
Georg Walter:
A Formal Security Model for Microprocessor Hardware.
IEEE Trans. Software Eng. 26(8): 702-712 (2000) |
| 1999 |
|---|
| 1 | | Volkmar Lotz,
Volker Kessler,
Georg Walter:
A Formal Security Model for Microprocessor Hardware.
World Congress on Formal Methods 1999: 718-737 |
