Cas Cremers - RankMe

135 papers A* 32A 17B 3Journal 63Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Formal Treatment of the Limits of Authenticated Key Exchange Security. Juggling Formal Methods and Security Michèle Feltz, Cas Cremers
2026	—	`book`	Modeling and Analyzing Security Protocols with Tamarin - A Comprehensive Guide David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2025	A*	`conf`	Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks. CCS Cas Cremers, Alexander Dax, Aurora Naska
2025	J	`jnl`	ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420. IACR Cryptol. ePrint Arch. Cas Cremers, Esra Günsay, Vera Wesselkamp, Mang Zhao
2025	—	`conf`	Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols. Information Security in a Connected World Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi
2025	A*	`conf`	Impossibility Results for Post-Compromise Security in Real-World Communication Systems. SP Cas Cremers, Niklas Medinger, Aurora Naska
2025	A*	`conf`	Looping for Good: Cyclic Proofs for Security Protocols. CCS Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin
2025	A*	`conf`	Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation. SP Cas Cremers, Gal Horowitz, Charlie Jacomme, Eyal Ronen
2024	—	`conf`	A Holistic Security Analysis of Monero Transactions. EUROCRYPT (3) Cas Cremers, Julian Loss, Benedikt Wagner
2024	J	`jnl`	A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2024	J	`jnl`	An Extended Hierarchy of Security Notions for Threshold Signature Schemes and Automated Analysis of Protocols That Use Them. IACR Cryptol. ePrint Arch. Cas Cremers, Aleksi Peltonen, Mang Zhao
2024	J	`jnl`	Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Aurora Naska
2024	J	`jnl`	Falsifiability, Composability, and Comparability of Game-based Security Models for Key Exchange Protocols. IACR Cryptol. ePrint Arch. Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi
2024	J	`jnl`	Impossibility Results for Post-Compromise Security in Real-World Communication Systems. IACR Cryptol. ePrint Arch. Cas Cremers, Niklas Medinger, Aurora Naska
2024	A*	`conf`	Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols. CCS Cas Cremers, Alexander Dax, Niklas Medinger
2024	A*	`conf`	Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements. SP Cas Cremers, Eyal Ronen, Mang Zhao
2024	A*	`conf`	Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption. SP Cas Cremers, Mang Zhao
2023	J	`jnl`	A Holistic Security Analysis of Monero Transactions. IACR Cryptol. ePrint Arch. Cas Cremers, Julian Loss, Benedikt Wagner
2023	A*	`conf`	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. USENIX Security Symposium Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023	J	`jnl`	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023	A*	`conf`	FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. SP Nina Bindel, Cas Cremers, Mang Zhao
2023	A*	`conf`	Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. USENIX Security Symposium Cas Cremers, Alexander Dax, Aurora Naska
2023	A*	`conf`	Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. USENIX Security Symposium Cas Cremers, Charlie Jacomme, Aurora Naska
2023	A*	`conf`	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. USENIX Security Symposium Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2023	J	`jnl`	Keeping Up with the KEMs: Stronger Security Notions for KEMs. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Niklas Medinger
2023	J	`jnl`	Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements. IACR Cryptol. ePrint Arch. Cas Cremers, Eyal Ronen, Mang Zhao
2023	A*	`ed.`	Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023 CCS Weizhi Meng, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda
2023	A	`conf`	Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. CSF Cas Cremers, Charlie Jacomme, Philip Lukert
2022	A*	`conf`	A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. SP Cas Cremers, Caroline Fontaine, Charlie Jacomme
2022	J	`jnl`	A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. IACR Cryptol. ePrint Arch. Cas Cremers, Caroline Fontaine, Charlie Jacomme
2022	—	`conf`	CHIP and CRISP: Protecting All Parties Against Compromise Through Identity-Binding PAKEs. CRYPTO (2) Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen
2022	J	`jnl`	Deploying decentralized, privacy-preserving proximity tracing. Commun. ACM Carmela Troncoso, Dan Bogdanov, Edouard Bugnion, Sylvain Chatel, Cas Cremers, Seda F. Gürses, Jean-Pierre Hubaux, Dennis Jackson, James R. Larus, Wouter Lueks, Rui Oliveira, Mathias Payer, Bart Preneel, Apostolos Pyrgelis, Marcel Salathé, Theresa Stadler, Michael Veale
2022	J	`jnl`	FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. IACR Cryptol. ePrint Arch. Nina Bindel, Cas Cremers, Mang Zhao
2022	J	`jnl`	Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Aurora Naska
2022	J	`jnl`	Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. IACR Cryptol. ePrint Arch. Cas Cremers, Charlie Jacomme, Aurora Naska
2022	J	`jnl`	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. IACR Cryptol. ePrint Arch. Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2022	A*	`ed.`	Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022 CCS Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi
2022	J	`jnl`	Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption. IACR Cryptol. ePrint Arch. Cas Cremers, Mang Zhao
2022	J	`jnl`	Subterm-based proof techniques for improving the automation and scope of security protocol analysis. IACR Cryptol. ePrint Arch. Cas Cremers, Charlie Jacomme, Philip Lukert
2022	J	`jnl`	Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2022	J	`jnl`	TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation. IACR Cryptol. ePrint Arch. Cas Cremers, Charlie Jacomme, Eyal Ronen
2021	A*	`conf`	BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures. SP Cas Cremers, Samed Düzlü, Rune Fiedler, Marc Fischlin, Christian Janson
2021	A*	`conf`	SoK: Computer-Aided Cryptography. SP Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2021	A*	`conf`	The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter. USENIX Security Symposium Cas Cremers, Britta Hale, Konrad Kohbrok
2021	A*	`conf`	The Provable Security of Ed25519: Theory and Practice. SP Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
2020	A*	`conf`	A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters. USENIX Security Symposium Cas Cremers, Benjamin Kiesl, Niklas Medinger
2020	J	`jnl`	A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptol. Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2020	A*	`conf`	A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2020	J	`jnl`	BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures. IACR Cryptol. ePrint Arch. Cas Cremers, Samed Düzlü, Rune Fiedler, Marc Fischlin, Christian Janson
2020	A*	`conf`	Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice. CCS Cas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora Naska
2020	J	`jnl`	Decentralized Privacy-Preserving Proximity Tracing. CoRR Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
2020	J	`jnl`	Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
2020	A	`conf`	Limiting the impact of unreliable randomness in deployed security protocols. CSF Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan
2020	J	`jnl`	Randomness Improvements for Security Protocols. RFC Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan, Christopher A. Wood
2020	J	`jnl`	The Provable Security of Ed25519: Theory and Practice. IACR Cryptol. ePrint Arch. Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
2019	A*	`conf`	Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. NDSS Cas Cremers, Martin Dehnel-Wild
2019	J	`jnl`	Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters. IACR Cryptol. ePrint Arch. Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
2019	—	`conf`	Highly Efficient Key Exchange Protocols with Optimal Tightness. CRYPTO (3) Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
2019	A	`conf`	Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. EuroS&P Lucca Hirschi, Cas Cremers
2019	A	`conf`	Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. CSF Cas Cremers, Dennis Jackson
2019	J	`jnl`	Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. IACR Cryptol. ePrint Arch. Cas Cremers, Dennis Jackson
2019	J	`jnl`	Revisiting Post-Compromise Security Guarantees in Group Messaging. IACR Cryptol. ePrint Arch. Cas Cremers, Britta Hale, Konrad Kohbrok
2019	J	`jnl`	Secure authentication in the grid: A formal analysis of DNP3 SAv5. J. Comput. Secur. Cas Cremers, Martin Dehnel-Wild, Kevin Milner
2019	A*	`conf`	Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. CCS Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
2019	J	`jnl`	Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. IACR Cryptol. ePrint Arch. Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
2019	J	`jnl`	SoK: Computer-Aided Cryptography. IACR Cryptol. ePrint Arch. Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2018	J	`jnl`	Abstractions for security protocol verification. J. Comput. Secur. Thanh Binh Nguyen, Christoph Sprenger, Cas Cremers
2018	J	`jnl`	DECIM: Detecting Endpoint Compromise In Messaging. IEEE Trans. Inf. Forensics Secur. Jiangshan Yu, Mark Ryan, Cas Cremers
2018	J	`jnl`	Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. IEEE Trans. Dependable Secur. Comput. David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
2018	—	`ch.`	Model Checking Security Protocols. Handbook of Model Checking David A. Basin, Cas Cremers, Catherine Meadows
2018	A*	`conf`	On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. CCS Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
2018	J	`jnl`	Security Analysis for Randomness Improvements for Security Protocols. IACR Cryptol. ePrint Arch. Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav V. Smyshlyaev
2018	—	`ed.`	Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings SSR Cas Cremers, Anja Lehmann
2018	J	`jnl`	Strengthening the security of authenticated key exchange against bad randomness. Des. Codes Cryptogr. Michèle Feltz, Cas Cremers
2018	J	`jnl`	When the Crypto in Cryptocurrencies Breaks: Bitcoin Security under Broken Primitives. IEEE Secur. Priv. Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen
2017	A*	`conf`	A Comprehensive Symbolic Analysis of TLS 1.3. CCS Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe
2017	A	`conf`	A Formal Security Analysis of the Signal Messaging Protocol. EuroS&P Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2017	J	`jnl`	ASICS: authenticated key exchange security incorporating certification systems. Int. J. Inf. Sec. Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
2017	A	`conf`	Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. CSF Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
2017	J	`jnl`	Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. IACR Cryptol. ePrint Arch. Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
2017	J	`jnl`	Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy. CoRR Cas Cremers, Lucca Hirschi
2017	J	`jnl`	Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet. IACR Cryptol. ePrint Arch. Katriel Cohn-Gordon, Cas Cremers
2017	J	`jnl`	On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. IACR Cryptol. ePrint Arch. Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
2017	—	`conf`	Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. ESORICS (1) Cas Cremers, Martin Dehnel-Wild, Kevin Milner
2017	B	`conf`	Symbolic security analysis using the Tamarin prover. FMCAD Cas Cremers
2017	J	`jnl`	Symbolically analyzing security protocols using tamarin. ACM SIGLOG News David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2016	J	`jnl`	A Formal Security Analysis of the Signal Messaging Protocol. IACR Cryptol. ePrint Arch. Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2016	A*	`conf`	Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. IEEE Symposium on Security and Privacy Cas Cremers, Marko Horvat, Sam Scott, Thyla van der Merwe
2016	J	`jnl`	Improving the ISO/IEC 11770 standard for key management techniques. Int. J. Inf. Sec. Cas Cremers, Marko Horvat
2016	J	`jnl`	On Bitcoin Security in the Presence of Broken Crypto Primitives. IACR Cryptol. ePrint Arch. Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen
2016	—	`conf`	On Bitcoin Security in the Presence of Broken Cryptographic Primitives. ESORICS (2) Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen
2016	J	`jnl`	On Post-Compromise Security. IACR Cryptol. ePrint Arch. Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
2016	A	`conf`	On Post-compromise Security. CSF Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
2016	—	`conf`	Symmetric polynomial & CRT based algorithms for multiple frequency determination from undersampled waveforms. GlobalSIP Hanshen Xiao, Cas Cremers, Hari Krishna Garg
2015	J	`jnl`	Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal. Des. Codes Cryptogr. Cas Cremers, Michèle Feltz
2015	—	`conf`	Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security. ICSE (2) Andrew C. Simpson, Andrew P. Martin, Cas Cremers, Ivan Flechais, Ivan Martinovic, Kasper Bonne Rasmussen
2015	J	`jnl`	How to detect unauthorised usage of a key. IACR Cryptol. ePrint Arch. Jiangshan Yu, Mark Ryan, Cas Cremers
2015	J	`jnl`	Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe
2014	A*	`conf`	ARPKI: Attack Resilient Public-Key Infrastructure. CCS David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
2014	A	`conf`	Actor Key Compromise: Consequences and Countermeasures. CSF David A. Basin, Cas Cremers, Marko Horvat
2014	A*	`conf`	Automated Verification of Group Key Agreement Protocols. IEEE Symposium on Security and Privacy Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin
2014	—	`conf`	Improving the ISO/IEC 11770 Standard for Key Management Techniques. SSR Cas Cremers, Marko Horvat
2014	J	`jnl`	Know Your Enemy: Compromising Adversaries in Protocol Analysis. ACM Trans. Inf. Syst. Secur. David A. Basin, Cas Cremers
2014	J	`jnl`	On the Limits of Authenticated Key Exchange Security with an Application to Bad Randomness. IACR Cryptol. ePrint Arch. Michèle Feltz, Cas Cremers
2013	A	`conf`	ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. ESORICS Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
2013	J	`jnl`	ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. IACR Cryptol. ePrint Arch. Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
2013	J	`jnl`	Efficient construction of machine-checked symbolic protocol security proofs. J. Comput. Secur. Simon Meier, Cas Cremers, David A. Basin
2013	J	`jnl`	Provably repairing the ISO/IEC 9798 standard for entity authentication. J. Comput. Secur. David A. Basin, Cas Cremers, Simon Meier
2013	A*	`conf`	The TAMARIN Prover for the Symbolic Analysis of Security Protocols. CAV Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin
2012	A	`conf`	Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin
2012	A	`conf`	Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. ESORICS Cas Cremers, Michèle Feltz
2012	J	`jnl`	Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. IACR Cryptol. ePrint Arch. Cas Cremers, Michèle Feltz
2012	A*	`conf`	Distance Hijacking Attacks on Distance Bounding Protocols. NDSS Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun
2012	A*	`conf`	Distance Hijacking Attacks on Distance Bounding Protocols. IEEE Symposium on Security and Privacy Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun
2012	—	`book`	Operational Semantics and Verification of Security Protocols Cas Cremers, Sjouke Mauw
2012	—	`conf`	Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST David A. Basin, Cas Cremers, Simon Meier
2011	J	`jnl`	Distance Hijacking Attacks on Distance Bounding Protocols. IACR Cryptol. ePrint Arch. Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun
2011	A	`conf`	Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK. AsiaCCS Cas Cremers
2011	A	`conf`	Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. ESORICS Cas Cremers
2011	J	`jnl`	One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability. IACR Cryptol. ePrint Arch. Cas Cremers, Michèle Feltz
2010	B	`conf`	Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. CSL David A. Basin, Cas Cremers
2010	A	`conf`	Keeping data secret under full compromise using porter devices. ACSAC Christina Pöpper, David A. Basin, Srdjan Capkun, Cas Cremers
2010	A	`conf`	Modeling and Analyzing Security in the Presence of Compromising Adversaries. ESORICS David A. Basin, Cas Cremers
2010	A	`conf`	Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. CSF Simon Meier, Cas Cremers, David A. Basin
2009	J	`jnl`	From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. IACR Cryptol. ePrint Arch. David A. Basin, Cas Cremers
2008	J	`jnl`	A framework for compositional verification of security protocols. Inf. Comput. Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2008	A	`conf`	On the protocol composition logic PCL. AsiaCCS Cas Cremers
2007	—	`conf`	Complete Characterization of Security Protocols by Pattern Refinement. Formal Protocol Verification Applied Cas Cremers
2007	J	`jnl`	On the Protocol Composition Logic PCL CoRR Cas Cremers
2006	J	`jnl`	A framework for compositional verification of security protocols CoRR Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2006	B	`conf`	Feasibility of Multi-Protocol Attacks. ARES Cas Cremers
2006	—	`ed.`	Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005 STM Sjouke Mauw, Valérie Issarny, Cas Cremers
2005	—	`conf`	Preface. STM Sjouke Mauw, Valérie Issarny, Cas Cremers
2004	—	`conf`	Compositionality of Security Protocols: A Research Agenda. VODCA@FOSAD Cas Cremers
2003	—	`conf`	Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools Cas Cremers, Sjouke Mauw