Concepedia

Sebastian Mödersheim

SM

17

Publications

900

Citations

14

H-Index

2003

Active since

Affiliations

Technical University of Denmark(Current)

IBM Research - Zurich

Newcastle University

IBM (United States)

Sebastian Mödersheim is an author at Technical University of Denmark specializing in information security, engineering, and data security.

Top concepts

EngineeringData SecurityComputer ScienceInformation SecurityFormal VerificationFormal MethodsCryptographyVerificationSoftware AnalysisAutomated Reasoning

Publications per year

2003–2019

17

Publications

17

OFMC: A symbolic model checker for security protocols

David Basin, Sebastian Mödersheim, Luca Viganò · International Journal of Information Security · 2004 · 497 citations · Full text

Engineering, Symbolic Model Checker, Information Security +9

Algebraic Properties in Alice and Bob Notation

Sebastian Mödersheim · 2009 · 48 citations

Engineering, Algebraic Structure, Information Security +18

Abstraction by set-membership

Sebastian Mödersheim · 2010 · 43 citations

Engineering, Information Security, Type Theory +18

Proactive Security Analysis of Changes in Virtualized Infrastructures

Sören Bleikertz, Carsten Vogel, Thomas Groß et al. · 2015 · 41 citations

Engineering, Information Security, Cloud Computing Architecture +17

A card requirements language enabling privacy-preserving access control

Jan Camenisch, Sebastian Mödersheim, Gregory Neven et al. · 2010 · 37 citations

Authentication Authorization, Card Requirements Language, Access Control Systems +15

Rows per page

1–5 of 17