Christoph Sprenger
发表
David A. Basin,
Ognjen Maric,
Christoph Sprenger,
2017,
CAV.
Christopher Wojtan,
Ken Museth,
Christoph Sprenger,
2020,
ACM Trans. Graph..
David A. Basin,
Christoph Sprenger,
2008,
2008 21st IEEE Computer Security Foundations Symposium.
Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Mads Dam,
Christoph Sprenger,
C. Sprenger,
2003,
FoSSaCS.
David Basin,
Christoph Sprenger,
Binh Thanh Nguyen,
2012
.
Sebastian Mödersheim,
Christoph Sprenger,
2009
.
Krzysztof Worytkiewicz,
Christoph Sprenger,
C. Sprenger,
2003,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
Birgit Pfitzmann,
David A. Basin,
Michael Backes,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
2003
.
Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
2008,
Inf. Comput..
Christoph Sprenger,
1993
.
Christoph Sprenger,
C. Sprenger,
1998,
TACAS.
Ognjen Maric,
Christoph Sprenger,
C. Sprenger,
2014,
FM.
Christoph Sprenger,
Ivano Somaini,
C. Sprenger,
2010,
CCS '10.
David A. Basin,
Christoph Sprenger,
D. Basin,
2007,
TPHOLs.
Mads Dam,
Christoph Sprenger,
2003,
RAIRO Theor. Informatics Appl..
Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
2004,
FASE.
Christoph Sprenger,
Binh Thanh Nguyen,
2013
.
Krzysztof Worytkiewicz,
Christoph Sprenger,
2004
.
Christoph Sprenger,
David Basin,
2009
.
Christoph Sprenger,
2000
.
Mads Dam,
Christoph Sprenger,
2002,
FICS.
Peter Arbenz,
Stefan Vogel,
Christoph Sprenger,
1994,
HPCN.
Christoph Sprenger,
2009
.
David A. Basin,
Christoph Sprenger,
2018,
J. Comput. Secur..
Christoph Sprenger,
Thanh Binh Nguyen,
2015,
POST.
Sebastian Mödersheim,
Christoph Sprenger,
2009
.
Cas J. F. Cremers,
Christoph Sprenger,
Thanh Binh Nguyen,
2018,
J. Comput. Secur..
David A. Basin,
Joseph Lallemand,
Christoph Sprenger,
2017,
2017 IEEE European Symposium on Security and Privacy (EuroS&P).
Christoph Sprenger,
Thanh Binh Nguyen,
2013,
POST.
David A. Basin,
Christoph Sprenger,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Peter Arbenz,
K. Gates,
Christoph Sprenger,
1992,
[Proceedings 1992] The Fourth Symposium on the Frontiers of Massively Parallel Computation.
David A. Basin,
Christoph Sprenger,
Tobias Klenze,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).