Cas J. F. Cremers

	2012
28		David A. Basin, Cas J. F. Cremers, Simon Meier: Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST 2012: 129-148
	2011
27		Cas J. F. Cremers: Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. ESORICS 2011: 315-334
26		Cas J. F. Cremers, Kasper Bonne Rasmussen, Srdjan Capkun: Distance Hijacking Attacks on Distance Bounding Protocols. IACR Cryptology ePrint Archive 2011: 129 (2011)
25		Cas J. F. Cremers, Michele Feltz: One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability. IACR Cryptology ePrint Archive 2011: 300 (2011)
	2010
24		Christina Pöpper, David A. Basin, Srdjan Capkun, Cas J. F. Cremers: Keeping data secret under full compromise using porter devices. ACSAC 2010: 241-250
23		Simon Meier, Cas J. F. Cremers, David A. Basin: Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. CSF 2010: 231-245
22		David A. Basin, Cas J. F. Cremers: Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. CSL 2010: 1-18
21		David A. Basin, Cas J. F. Cremers: Modeling and Analyzing Security in the Presence of Compromising Adversaries. ESORICS 2010: 340-356
20		Cas J. F. Cremers: Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol. IJACT 2(2): 83-99 (2010)
	2009
19		Cas J. F. Cremers: Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol. ACNS 2009: 20-33
18		Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau: Comparing State Spaces in Automatic Security Protocol Analysis. Formal to Practical Security 2009: 70-94
17		Cas J. F. Cremers: Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange. IACR Cryptology ePrint Archive 2009: 253 (2009)
16		David A. Basin, Cas J. F. Cremers: From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. IACR Cryptology ePrint Archive 2009: 79 (2009)
	2008
15		Cas J. F. Cremers: Unbounded verification, falsification, and characterization of security protocols by pattern refinement. ACM Conference on Computer and Communications Security 2008: 119-128
14		Cas J. F. Cremers: On the protocol composition logic PCL. ASIACCS 2008: 66-76
13		Cas J. F. Cremers: The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. CAV 2008: 414-418
12		Cas J. F. Cremers: Session-state Reveal is stronger than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange protocol. IACR Cryptology ePrint Archive 2008: 376 (2008)
11		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols. Inf. Comput. 206(2-4): 425-459 (2008)
	2007
10		Cas J. F. Cremers: Complete Characterization of Security Protocols by Pattern Refinement. Formal Protocol Verification Applied 2007
9		Cas J. F. Cremers: On the Protocol Composition Logic PCL CoRR abs/0709.1080: (2007)
	2006
8		Cas J. F. Cremers: Feasibility of Multi-Protocol Attacks. ARES 2006: 287-294
7		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols CoRR abs/cs/0611062: (2006)
6		Cas J. F. Cremers: Compositionality of Security Protocols: A Research Agenda. Electr. Notes Theor. Comput. Sci. 142: 99-110 (2006)
5		Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers: Preface. Electr. Notes Theor. Comput. Sci. 157(3): 1-2 (2006)
4		Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367(1-2): 139-161 (2006)
	2005
3		Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: A Syntactic Criterion for Injectivity of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 135(1): 23-38 (2005)
	2004
2		Cas J. F. Cremers, Sjouke Mauw: Checking Secrecy by Means of Partial Order Reduction. SAM 2004: 171-188
	2003
1		Cas J. F. Cremers, Sjouke Mauw: Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools 2003: 66-89

Coauthor Index

1	Suzana Andova	[7] [11]
2	David A. Basin	[16] [21] [22] [23] [24] [28]
3	Srdjan Capkun	[24] [26]
4	Michele Feltz	[25]
5	Kristian Gjøsteen	[7] [11]
6	Valérie Issarny	[5]
7	Pascal Lafourcade	[18]
8	Sjouke Mauw	[1] [2] [3] [4] [5] [7] [11]
9	Simon Meier	[23] [28]
10	Stig Fr. Mjølsnes	[7] [11]
11	Philippe Nadeau	[18]
12	Christina Pöpper	[24]
13	Sasa Radomirovic	[7] [11]
14	Kasper Bonne Rasmussen	[26]
15	Erik P. de Vink	[3] [4]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page