Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Mödersheim, Sebastian - Institut for Informatik og Matematisk Modellering, Danmarks Tekniske Universitet
P. Degano and J. Guttman (Eds.). FAST 2009, LNCS 5983, pp. 248262, 2010. This is the author's version of the work. It is posted at http://www.brucker.ch/bibliography/
A Formal Model of Identity Mixer Mixer Jan Camenisch2
A Card Requirements Language Enabling Privacy-Preserving Access Control
06/21/11 RZ3803 Computer Science/Mathematics 22 pages
Automated Verification of Virtualized Infrastructures Sren Bleikertz
Diffie-Hellman without Difficulty (Extended Version)
Vertical Protocol Composition Thomas Gro
Verifying SeVeCom Using Set-based Abstraction Sebastian Modersheim
The Open-source Fixed-point Model Checker for Symbolic Analysis of Security Protocols
