C. Cremers
发表
Bryan Parno,
Manuel Barbosa,
Bruno Blanchet,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Cas J. F. Cremers,
Marko Horvat,
C. Cremers,
2016,
International Journal of Information Security.
Ralf Sasse,
Adrian Perrig,
David A. Basin,
2014,
CCS.
D. Basin,
C. Meadows,
C. Cremers,
2018
.
Cas J. F. Cremers,
D. Basin,
C. Meadows,
2012
.
Mark Ryan,
Cas J. F. Cremers,
Kevin Milner,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Srdjan Capkun,
Kasper Bonne Rasmussen,
Cas Cremers,
2012,
2012 IEEE Symposium on Security and Privacy.
Erik P. de Vink,
Cas J. F. Cremers,
Sjouke Mauw,
2006,
Theor. Comput. Sci..
Cas J. F. Cremers,
C. Cremers,
2009
.
C. Cremers,
2008
.
C. Cremers,
S. Andova,
S. Mauw,
2022
.
Cas J. F. Cremers,
Sjouke Mauw,
Valérie Issarny,
2006,
Electron. Notes Theor. Comput. Sci..
Erik Poll,
Martijn Warnier,
Sjouke Mauw,
2002
.
C. Cremers,
Charlie Jacomme,
Philip Lukert,
2022,
IACR Cryptol. ePrint Arch..
Cas J. F. Cremers,
L. Hirschi,
C. Cremers,
2022,
IACR Cryptol. ePrint Arch..
C. Cremers,
Mang Zhao,
2022
.
Carmela Troncoso,
Ciro Cattuto,
Rui Oliveira,
2020,
IEEE Data Eng. Bull..
Kenneth G. Paterson,
Colin Boyd,
Douglas Stebila,
2013,
International Journal of Information Security.
Cas J. F. Cremers,
C. Cremers,
2008,
CAV.
Cas J. F. Cremers,
C. Cremers,
2004,
VODCA@FOSAD.
Cas J. F. Cremers,
Jacqueline Brendel,
Mang Zhao,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Hanshen Xiao,
Cas J. F. Cremers,
Hari Krishna Garg,
2016,
2016 IEEE Global Conference on Signal and Information Processing (GlobalSIP).
Mark Ryan,
Cas J. F. Cremers,
Jiangshan Yu,
2015,
IACR Cryptol. ePrint Arch..
David A. Basin,
Benedikt Schmidt,
Cas J. F. Cremers,
2013,
CAV.
Pascal Lafourcade,
Cas J. F. Cremers,
Philippe Nadeau,
2009
.
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2014,
TSEC.
Cas J. F. Cremers,
Sjouke Mauw,
C. Cremers,
2004,
SAM.
Ralf Sasse,
David A. Basin,
Cas J. F. Cremers,
2017,
SIGL.
Cas J. F. Cremers,
Sjouke Mauw,
C. Cremers,
2012,
Information Security and Cryptography.
Seda F. Gürses,
B. Preneel,
J. Larus,
2022,
Communications of the ACM.
Ralf Sasse,
David Basin,
Cas Cremers,
2020,
USENIX Security Symposium.
Cas J. F. Cremers,
Marko Horvat,
Sam Scott,
2017,
CCS.
Cas J. F. Cremers,
Luke Garratt,
Katriel Cohn-Gordon,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
David A. Basin,
Benedikt Schmidt,
Cas J. F. Cremers,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Cas J. F. Cremers,
C. Cremers,
2011,
ESORICS.
Cas J. F. Cremers,
Kevin Milner,
Luke Garratt,
2018,
IACR Cryptol. ePrint Arch..
Ralf Sasse,
David A. Basin,
Benedikt Schmidt,
2014,
2014 IEEE Symposium on Security and Privacy.
Britta Hale,
Cas Cremers,
Konrad Kohbrok,
2021,
USENIX Security Symposium.
Douglas Stebila,
Cas J. F. Cremers,
Benjamin Dowling,
2017,
Journal of Cryptology.
Cas J. F. Cremers,
Marko Horvat,
Sam Scott,
2016,
2016 IEEE Symposium on Security and Privacy (SP).
David A. Basin,
Cas J. F. Cremers,
Marko Horvat,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Andrew P. Martin,
Andrew C. Simpson,
Ivan Martinovic,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Stig Fr. Mjølsnes,
Cas J. F. Cremers,
Suzana Andova,
2006,
Inf. Comput..
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2010,
ESORICS.
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2010,
CSL.
M. Naor,
C. Cremers,
Eyal Ronen,
2022,
CRYPTO.
Cas J. F. Cremers,
Martin Dehnel-Wild,
C. Cremers,
2019,
NDSS.
Cas Cremers,
Benjamin Kiesl,
Niklas Medinger,
2020,
USENIX Security Symposium.
Marc Fischlin,
Cas J. F. Cremers,
Christian Janson,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Ralf Sasse,
Adrian Perrig,
Pawel Szalachowski,
2016,
IEEE Transactions on Dependable and Secure Computing.
Mark Ryan,
Cas J. F. Cremers,
Jiangshan Yu,
2018,
IEEE Transactions on Information Forensics and Security.
David Basin,
Cas Cremers,
D. Basin,
2011
.
Cas Cremers,
Benjamin Kiesl,
Jaiden Fairoze,
2020,
CCS.
Cas Cremers,
Dennis Jackson,
C. Cremers,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
David A. Basin,
Cas J. F. Cremers,
Simon Meier,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
David A. Basin,
Cas J. F. Cremers,
Simon Meier,
2012,
J. Comput. Secur..
Cas Cremers,
Lucca Hirschi,
L. Hirschi,
2019,
2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy
pdf
Cas J. F. Cremers,
Lucca Hirschi,
L. Hirschi,
2017,
ArXiv.
Catherine A. Meadows,
David A. Basin,
Cas J. F. Cremers,
2018,
Handbook of Model Checking.
Cas J. F. Cremers,
Sjouke Mauw,
Cas Cremers,
2012
.
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2009,
IACR Cryptol. ePrint Arch..
Kasper Bonne Rasmussen,
Cas J. F. Cremers,
Ilias Giechaskiel,
2018,
IEEE Security & Privacy.
Cas J. F. Cremers,
Michèle Feltz,
C. Cremers,
2012,
ESORICS.
Kasper Bonne Rasmussen,
Cas J. F. Cremers,
Ilias Giechaskiel,
2016,
ESORICS.
C. Cremers,
R. Sasse,
Dennis Jackson,
2019,
IACR Cryptol. ePrint Arch..
Cas J. F. Cremers,
Michèle Feltz,
C. Cremers,
2011,
IACR Cryptol. ePrint Arch..
Cas J. F. Cremers,
Kevin Milner,
Martin Dehnel-Wild,
2017,
ESORICS.
C. Cremers,
Eyal Ronen,
Mang Zhao,
2023,
IACR Cryptology ePrint Archive.