Andreas V. Hess

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Communication Protocol

Formal Analysis

Coloured Petri Nets

Top Venues

Arch. Formal Proofs

ACM Trans. Priv. Secur.

Publications

Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
Stateful Protocol Composition in Isabelle/HOL. ACM Trans. Priv. Secur. 26 (3) (2023)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Performing Security Proofs of Stateful Protocols. CSF (2021)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker
Stateful Protocol Composition and Typing. Arch. Formal Proofs 2020 (2020)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Automated Stateful Protocol Verification. Arch. Formal Proofs 2020 (2020)
Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
Stateful Protocol Composition. ESORICS (1) (2018)
Andreas V. Hess, Sebastian Mödersheim
A Typing Result for Stateful Protocols. CSF (2018)