Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2015 2019

• 3 Article in proceedings
• 2 Report
• 1 Ph.D. thesis
• 1 Poster

Research Output per year

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

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 2015 2018

• 1 Finished

Projects per year

Composec: Secure Composition of Distributed Systems

Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.

Forskningsrådsfinansiering

01/10/2015 → 12/12/2018

Project: PhD