No photo of Andreas Viktor Hess
  • Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20152019
If you made any changes in Pure these will be visible here soon.

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

Research Output 2015 2019

Typing and Compositionality for Stateful Security Protocols

Hess, A. V., 2019, DTU Compute. 179 p. (DTU Compute PHD-2018, Vol. 495).

Research output: Book/ReportPh.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 proceedingArticle in proceedingsResearchpeer-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/ReportReport

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 proceedingArticle in proceedingsResearchpeer-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/ReportReport

Open Access
File

Projects 2015 2018