Georg Walter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1999–2003
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | ESORICS | A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. | David von Oheimb, Georg Walter, Volkmar Lotz |
| 1999 | FM | A Formal Security Model for Microprocessor Hardware. | Volkmar Lotz, Volker Kessler, Georg Walter |