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

    2800 Kgs. Lyngby

    Denmark

20092022

Research output per year

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

Research Output

Filter
Journal article
2016

Security protocol specification and verification with AnBx

Bugliesi, M., Calzavara, S., Mödersheim, S. A. & Modesti, P., 2016, In : Journal of Information Security and Applications. 30, p. 46-63

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
190 Downloads (Pure)
2010

Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols

Mödersheim, S. A., Basin, D. & Viganò, L., 2010, In : Journal of Computer Security. 18, 4, p. 575-618

Research output: Contribution to journalJournal articleResearchpeer-review