No photo of Sebastian Alexander Mödersheim
  • Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20092022
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 2010 2019

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy

Gondron, S. P. C. & Mödersheim, S. A., 2019, Proceedings of 24th European Symposium on Research in Computer Security. Springer, p. 535-555 21 p. (Lecture Notes in Computer Science, Vol. 11735).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

GTPL: A graphical trust policy language

Mödersheim, S. A. & Ni, B., 1 Jan 2019, Proceedings of Open Identity Summit 2019. Rossnagel, H., Wagner, S. & Huhnlein, D. (eds.). Gesellschaft fur Informatik (GI), p. 107-118 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Vol. P-293).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
24 Downloads (Pure)

TPL: A Trust Policy Language

Mödersheim, S. A., Schlichtkrull, A., Wagner, G., More, S. & Alber, L., 2019, Trust Management XIII. Springer, Vol. 563. p. 209-223 (IFIP Advances in Information and Communication Technology, Vol. 563).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
249 Downloads (Pure)

Alpha-Beta Privacy

Mödersheim, S. A. & Viganò, L., 2018, DTU Compute. 46 p. (DTU Compute Technical Report-2018, Vol. 07).

Research output: Book/ReportReportResearchpeer-review

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

Projects 2009 2022