Research output per year
Research output per year
Fingerprint
Dive into the research topics where Andreas Viktor Hess is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
Performing Security Proofs of Stateful Protocols
Hess, A. V., Mödersheim, S. A., Brucker, A. D. & Schlichtkrull, A., 2021, (Accepted/In press) Proceedings of 34th IEEE Computer Security Foundations Symposium. IEEE, 36 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile9 Downloads (Pure) -
Automated Stateful Protocol Verification
Hess, A. V., Mödersheim, S. A., Brucker, A. D. & Schlichtkrull, A., 2020, In: Archive of Formal Proofs. 261 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile36 Downloads (Pure) -
Stateful Protocol Composition and Typing
Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2020, In: Archive of Formal Proofs. 401 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile21 Downloads (Pure) -
Typing and Compositionality for Stateful Security Protocols
Hess, A. V., 2019, DTU Compute. 179 p. (DTU Compute PHD-2018, Vol. 495).Research output: Book/Report › Ph.D. thesis
Open AccessFile170 Downloads (Pure) -
A Typing Result for Stateful Protocols
Hess, A. V. & Modersheim, S., 2018, 2018 IEEE 31st Computer Security Foundations Symposium. IEEE, Vol. 2018-July. p. 374-388 15 p. (I E E E Computer Security Foundations Symposium. Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Projects
- 1 Finished
-
Composec: Secure Composition of Distributed Systems
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
01/10/2015 → 12/12/2018
Project: PhD
Activities
- 1 Participating in or organising workshops, courses, seminars etc.
-
Øresund Security Day 2019
Andreas Viktor Hess (Organizer), Anders Schlichtkrull (Organizer) & Sebastian Alexander Mödersheim (Organizer)
22 May 2019Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.