Stateful Protocol Composition and Typing
by Andreas V. Hess, Sebastian Mödersheim and Achim D. Brucker
Andreas v. Hess
2020
Automated Stateful Protocol Verification
by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull