On the Chinese Wall Model. - Volker Kessler (ESORICS, 1992)

AUTLOG - An Advanced Logic of Authentication. - Volker Kessler; Gabriele Wedel (CSFW, 1994)

Formal Semantics for Authentication Logics. - Gabriele Wedel; Volker Kessler (ESORICS, 1996)

A Sound Logic for Analysing Electronic Commerce Protocols. - Volker Kessler; Heike Neumann (ESORICS, 1998)

Formale Analyse von kryptographischen Protokollen mit BAN-Logik. - Heike Neumann; Volker Kessler (Datenschutz und Datensicherheit, 1999)

A Formal Security Model for Microprocessor Hardware. - Volkmar Lotz; Volker Kessler; Georg Walter (IEEE Trans. Software Eng., 2000)