Andreas Viktor Hess

Andreas Viktor Hess

Postdoc

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 324, rum 180

2800 Kgs. Lyngby

E-mail avhe@dtu.dk

Få tilsendt vCard på e-mail.

Publikationer
Projekter
Loading

Publikationer rss feed

2019
  PDF

Typing and Compositionality for Stateful Security Protocols

Hess, Andreas Viktor

Type: Ph.D. thesis

Status: Published     |    År: 2019

2018
 

A Typing Result for Stateful Protocols

Hess, Andreas Viktor ; Modersheim, Sebastian
part of: 2018 IEEE 31st Computer Security Foundations Symposium, pages: 374-388, 2018, IEEE

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1109/CSF.2018.00034

  PDF

A Typing Result for Stateful Protocols - Extended Version

Hess, Andreas Viktor ; Mödersheim, Sebastian Alexander

Type: Report (Peer reviewed)

Status: Published     |    År: 2018

 

Stateful Protocol Composition

Hess, Andreas Viktor ; Mödersheim, Sebastian A. ; Brucker, Achim D.
part of: ESORICS 2018: Computer Security , pages: 427-446, 2018, Springer
Presented at:
23rd European Symposium on Research in Computer Security

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-99073-6_21

  PDF

Stateful Protocol Composition - Extended Version

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

Type: Report (Peer reviewed)

Status: Published     |    År: 2018

2017
 

Formalizing and proving a typing result for security protocols in Isabelle/HOL

Hess, Andreas Viktor ; Modersheim, Sebastian
part of: Proceedings of 2017 IEEE 30th Computer Security Foundations Symposium, pages: 451-63, 2017, IEEE
Presented at:
2017 IEEE 30th Computer Security Foundations Symposium

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1109/CSF.2017.27

2015
  PDF

Meta-Logical Reasoning in Higher-Order Logic

Villadsen, Jørgen ; Schlichtkrull, Anders ; Hess, Andreas Viktor
Presented at:
LOGICA 2015 - 29th Annual International Symposia Devoted to Logic

Type: Poster (Peer reviewed)

Status: Published     |    År: 2015