Volker Kessler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1992–1999
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | FM | A Formal Security Model for Microprocessor Hardware. | Volkmar Lotz, Volker Kessler, Georg Walter |
| 1998 | ESORICS | A Sound Logic for Analysing Electronic Commerce Protocols. | Volker Kessler, Heike Neumann |
| 1996 | ESORICS | Formal Semantics for Authentication Logics. | Gabriele Wedel, Volker Kessler |
| 1992 | ESORICS | On the Chinese Wall Model. | Volker Kessler |