Andreas V. Hess

According to our database, Andreas V. Hess authored at least 9 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Stateful Protocol Composition in Isabelle/HOL.

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

ACM Trans. Priv. Secur., August, 2023

2021

Performing Security Proofs of Stateful Protocols.

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

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Automated Stateful Protocol Verification.

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

Arch. Formal Proofs, 2020

Stateful Protocol Composition and Typing.

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

Arch. Formal Proofs, 2020

2018

Stateful Protocol Composition.

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

Proceedings of the Computer Security, 2018

A Typing Result for Stateful Protocols.

Andreas V. Hess, Sebastian Mödersheim

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL.

Andreas Viktor Hess, Sebastian Mödersheim

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2013

Engineering a Multi-Agent System in GOAL.

Jørgen Villadsen, Andreas Schmidt Jensen, Nicolai Christian Christensen, Andreas Viktor Hess, Jannick Boese Johnsen, Øyvind Grønland Woller, Philip Bratt Ørum

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems.

Tobias Ahlbrecht, Christian Bender-Saebelkampf, Maiquel de Brito, Nicolai Christian Christensen, Jürgen Dix, Mariana Ramos Franco, Hendrik Heller, Andreas Viktor Hess, Axel Heßler, Jomi Fred Hübner, Andreas Schmidt Jensen, Jannick Boese Johnsen, Michael Köster, Chengqian Li, Lu Liu, Marcelo Menezes Morato, Philip Bratt Ørum, Federico Schlesinger, Tiago Luiz Schmitz, Jaime Simão Sichman, Kaio Siqueira de Souza, Daniela Maria Uez, Jørgen Villadsen, Sebastian Werner, Øyvind Grønland Woller, Maicon Rafael Zatelli

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013