Proactive security analysis of changes in virtualized infrastructures
- Sören Bleikertz
- Carsten Vogel
- et al.
- 2015
- ACSAC 2015
Publications
6 results for Sebastian Mödersheim
Automated verification of virtualized infrastructures
- Sören Bleikertz
- Thomas GrosZ
- et al.
- 2011
- CCS 2011
A card requirements language enabling privacy-preserving access control
- Jan Camenisch
- Sebastian Mödersheim
- et al.
- 2010
- SACMAT 2010
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
- Sebastian Mödersheim
- Luca Viganò
- et al.
- 2010
- Journal of Computer Security
Vertical protocol composition
- Thomas Groß
- Sebastian Mödersheim
- 2010
- CSF 2010
Algebraic properties in alice and bob notation
- Sebastian Mödersheim
- 2009
- ARES 2009