Stateful Protocol Composition and Typing
by Andreas V. Hess 📧, Sebastian Mödersheim 🌐 and Achim D. Brucker 🌐
by Andreas V. Hess 📧, Sebastian Mödersheim 🌐 and Achim D. Brucker 🌐
Sebastian Mödersheim
Homepages 🌐
Entries
2020
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 🌐