Research Output per year
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
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 Access
File
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
A Typing Result for Stateful Protocols - Extended Version
Hess, A. V. & Mödersheim, S. A., 2018, DTU Compute. 48 p. (DTU Compute Technical Report-2018, Vol. 4).Research output: Book/Report › Report
Open Access
File
Stateful Protocol Composition
Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2018, ESORICS 2018: Computer Security . J. L., J. Z. & M. S. (eds.). Springer, p. 427-446 (Lecture Notes in Computer Science, Vol. 11098).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
Stateful Protocol Composition - Extended Version
Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2018, DTU Compute. 28 p. (DTU Compute Technical Report-2018, Vol. 3).Research output: Book/Report › Report
Open Access
File
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