Véronique Cortier

	2009
40		Véronique Cortier, Graham Steel: A Generic Security API for Symmetric Key Management on Cryptographic Devices. ESORICS 2009: 605-620
39		Mathieu Baudet, Véronique Cortier, Stéphanie Delaune: YAPA: A Generic Tool for Computing Intruder Knowledge. RTA 2009: 148-163
38		Véronique Cortier: Verification of Security Protocols. VMCAI 2009: 5-13
37		Véronique Cortier, Stéphanie Delaune: Safely composing security protocols. Formal Methods in System Design 34(1): 1-36 (2009)
36		Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally sound implementations of equational theories against passive adversaries. Inf. Comput. 207(4): 496-520 (2009)
	2008
35		Hubert Comon-Lundh, Véronique Cortier: Computational soundness of observational equivalence. ACM Conference on Computer and Communications Security 2008: 109-118
	2007
34		Véronique Cortier, Stéphanie Delaune, Graham Steel: A Formal Theory of Key Conjuring. CSF 2007: 79-96
33		Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu: Synthesizing Secure Protocols. ESORICS 2007: 406-421
32		Véronique Cortier, Ralf Küsters, Bogdan Warinschi: A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols. ESORICS 2007: 422-437
31		Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune: Safely Composing Security Protocols. FSTTCS 2007: 352-363
30		Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune: Combining Algorithms for Deciding Knowledge in Security Protocols. FroCos 2007: 103-117
29		Véronique Cortier, Stéphanie Delaune: Deciding Knowledge in Security Protocols for Monoidal Equational Theories. LPAR 2007: 196-210
28		Véronique Cortier, Gavin Keighren, Graham Steel: Automatic Analysis of the Security of XOR-Based Key Management Schemes. TACAS 2007: 538-552
27		Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating two standard notions of secrecy CoRR abs/0706.0502: (2007)
26		Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu: Deciding security properties for cryptographic protocols. Application to key cycles CoRR abs/0708.3564: (2007)
25		Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi: Explicit Randomness is not Necessary when Modeling Probabilistic Encryption. Electr. Notes Theor. Comput. Sci. 186: 49-65 (2007)
24		Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating two standard notions of secrecy. Logical Methods in Computer Science 3(3): (2007)
	2006
23		Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating Two Standard Notions of Secrecy. CSL 2006: 303-318
22		Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi: Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. FSTTCS 2006: 176-187
21		Véronique Cortier, Eugen Zalinescu: Deciding Key Cycles for Security Protocols. LPAR 2006: 317-331
20		Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch: Relating two standard notions of secrecy. Trustworthy Software 2006
19		Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi: Explicit Randomness is not Necessary when Modeling Probabilistic Encryption CoRR abs/cs/0606030: (2006)
18		Véronique Cortier, Xavier Goaoc, Mira Lee, Hyeon-Suk Na: A note on maximally repeated sub-patterns of a point set. Discrete Mathematics 306(16): 1965-1968 (2006)
17		Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade: A survey of algebraic properties used in cryptographic protocols. Journal of Computer Security 14(1): 1-43 (2006)
16		Martín Abadi, Véronique Cortier: Deciding knowledge in security protocols under equational theories. Theor. Comput. Sci. 367(1-2): 2-32 (2006)
	2005
15		Martín Abadi, Véronique Cortier: Deciding Knowledge in Security Protocols under (Many More) Equational Theories. CSFW 2005: 62-76
14		Véronique Cortier, Bogdan Warinschi: Computationally Sound, Automated Proofs for Security Protocols. ESOP 2005: 157-171
13		Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally Sound Implementations of Equational Theories Against Passive Adversaries. ICALP 2005: 652-663
12		Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. PPDP 2005: 12-22
11		Véronique Cortier: Vérifier les protocoles cryptographiques. Technique et Science Informatiques 24(1): 115-140 (2005)
10		Hubert Comon, Véronique Cortier: Tree automata with one memory set constraints and cryptographic protocols. Theor. Comput. Sci. 331(1): 143-214 (2005)
	2004
9		Martín Abadi, Véronique Cortier: Deciding Knowledge in Security Protocols Under Equational Theories. ICALP 2004: 46-58
8		Hubert Comon-Lundh, Véronique Cortier: Security properties: two agents are sufficient. Sci. Comput. Program. 50(1-3): 51-71 (2004)
	2003
7		Hubert Comon-Lundh, Véronique Cortier: Security Properties: Two Agents Are Sufficient. ESOP 2003: 99-113
6		Hubert Comon-Lundh, Véronique Cortier: New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols. RTA 2003: 148-164
	2002
5		Véronique Cortier: About the decision of reachability for register machines. ITA 36(4): 341-358 (2002)
	2001
4		Véronique Cortier, Jonathan K. Millen, Harald Rueß: Proving Secrecy is Easy Enough. CSFW 2001: 97-
3		Hubert Comon, Véronique Cortier, John Mitchell: Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols. ICALP 2001: 682-693
	2000
2		Hubert Comon, Véronique Cortier: Flatness Is Not a Weakness. CSL 2000: 262-276
	1999
1		Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes: Decidable Fragments of Simultaneous Rigid Reachability. ICALP 1999: 250-260

Coauthor Index

1	Martín Abadi	[9] [15] [16]
2	Mathilde Arnaud	[30]
3	Mathieu Baudet	[13] [36] [39]
4	Hubert Comon-Lundh (Hubert Comon)	[2] [3] [6] [7] [8] [10] [26] [35]
5	Jérémie Delaitre	[31]
6	Stéphanie Delaune	[17] [29] [30] [31] [34] [37] [39]
7	Harald Ganzinger	[1]
8	Xavier Goaoc	[18]
9	Heinrich Hördegen	[19] [25]
10	Florent Jacquemard	[1]
11	Gavin Keighren	[28]
12	Steve Kremer	[13] [22] [36]
13	Ralf Küsters	[22] [32]
14	Pascal Lafourcade	[17]
15	Mira Lee	[18]
16	Jonathan K. Millen	[4]
17	John Mitchell	[3]
18	Hyeon-Suk Na	[18]
19	Harald Rueß	[4]
20	Michaël Rusinowitch	[12] [20] [23] [24] [27]
21	Graham Steel	[28] [34] [40]
22	Margus Veanes	[1]
23	Bogdan Warinschi	[14] [19] [22] [25] [32] [33]
24	Eugen Zalinescu	[12] [20] [21] [23] [24] [26] [27] [33]

Colors in the list of coauthors