Sebastian Alexander Mödersheim

  1. 2016
  2. Published

    AIF-ω: Set-Based Protocol Abstraction with Countable Families. / Mödersheim, Sebastian Alexander; Bruni, Alessandro.

    Proceedings of the 5th International Conference on Principles of Security and Trust (POST 2016): Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016). ed. / Frank Piessens; Luca Viganò. Springer, 2016. p. 233-253 (Lecture Notes in Computer Science, Vol. 9635).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  3. Published

    Security Protocols: Specification, Verification, Implementation, and Composition. / Almousa, Omar; Mödersheim, Sebastian Alexander (Supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 164 p. (DTU Compute PHD-2015; No. 391).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  4. 2015
  5. Published

    Alice and Bob: Reconciling Formal Models and Implementation. / Almousa, Omar; Mödersheim, Sebastian Alexander; Viganò, Luca.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Springer, 2015. p. 66-85 (Lecture Notes in Computer Science, Vol. 9465).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  6. Published

    Set-Pi: Set Membership pi-Calculus. / Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF 2015). IEEE, 2015. p. 185-198 (I E E E Computer Security Foundations Symposium. Proceedings).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  7. Published

    Typing and compositionality for security protocols: A generalization to the geometric fragment. / Almousa, Omar; Mödersheim, Sebastian Alexander; Modesti, Paolo; Viganò, Luca.

    Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS 2015): Part II. ed. / Günther Pernul; Peter Y. A. Ryan; Edgar Weippl. Springer, 2015. p. 209-229 (Lecture Notes in Computer Science, Vol. 9327).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  8. Published

    Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment (Extended Version). / Almousa, Omar; Mödersheim, Sebastian Alexander; Modesti, Paolo ; Viganò, Luca.

    Kgs. Lyngby : Technical University of Denmark, 2015. 26 p. (DTU Compute-Technical Report-2015; No. 3).

    Publication: ResearchReport – Annual report year: 2015

  9. 2014
  10. Published

    A Sound Abstraction of the Parsing Problem. / Mödersheim, Sebastian Alexander; Katsoris, Georgios.

    Proceedings of the IEEE 27th Computer Security Foundations Symposium, CSF 2014. IEEE, 2014. p. 259-273 (I E E E Computer Security Foundations Symposium. Proceedings).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  11. Published

    A Sound Abstraction of the Parsing Problem (Extended Version). / Mödersheim, Sebastian Alexander; Katsoris, Georgios .

    DTU Compute, 2014. 16 p. (DTU Compute-Technical Report-2014; No. 12).

    Publication: ResearchReport – Annual report year: 2014

  12. Published

    Foundational aspects of security. / Chatzikokolakis, Konstantinos; Mödersheim, Sebastian Alexander; Palamidessi, Catuscia; Pang, Jun.

    In: Journal of Computer Security, Vol. 22, 2014, p. 201-202.

    Publication: ResearchEditorial – Annual report year: 2014

  13. Published

    Sufficient Conditions for Vertical Composition of Security Protocols (Extended Version). / Mödersheim, Sebastian Alexander; Viganò, Luca.

    DTU Compute, 2014. 20 p. (DTU Compute-Technical Report-2014; No. 7).

    Publication: ResearchReport – Annual report year: 2014

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word