Andreas V. Hess

Stateful Protocol Composition and Typing

by Andreas V. Hess, Sebastian Mödersheim and Achim D. Brucker

Automated Stateful Protocol Verification

by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull