Stéphanie Delaune

	2012
46		Véronique Cortier, Jan Degrieck, Stéphanie Delaune: Analysing Routing Protocols: Four Nodes Topologies Are Sufficient. POST 2012: 30-50
45		Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reasoning 48(2): 219-262 (2012)
44		Véronique Cortier, Stéphanie Delaune: Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. J. Autom. Reasoning 48(4): 441-487 (2012)
	2011
43		Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune: Trace equivalence decision: negative tests and non-determinism. ACM Conference on Computer and Communications Security 2011: 321-330
42		Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune: Deciding Security for Protocols with Recursive Tests. CADE 2011: 49-63
41		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel: Formal Analysis of Protocols Based on TPM State Registers. CSF 2011: 66-80
40		Céline Chevalier, Stéphanie Delaune, Steve Kremer: Transforming Password Protocols to Compose. FSTTCS 2011: 204-216
39		Morten Dahl, Stéphanie Delaune, Graham Steel: Formal Analysis of Privacy for Anonymous Location Based Services. TOSCA 2011: 98-112
	2010
38		Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune: Modeling and Verifying Ad Hoc Routing Protocols. CSF 2010: 59-74
37		Morten Dahl, Stéphanie Delaune, Graham Steel: Formal Analysis of Privacy for Vehicular Mix-Zones. ESORICS 2010: 55-70
36		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel: A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust 2010: 111-125
35		Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune: Automating Security Analysis: Symbolic Equivalence of Constraint Systems. IJCAR 2010: 412-426
34		Stéphanie Delaune, Steve Kremer, Mark Ryan: Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. Towards Trustworthy Elections 2010: 289-309
33		Mathieu Baudet, Véronique Cortier, Stéphanie Delaune: YAPA: A generic tool for computing intruder knowledge CoRR abs/1005.0737: (2010)
32		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan: Symbolic bisimulation for the applied pi calculus. Journal of Computer Security 18(2): 317-377 (2010)
31		Stéphanie Delaune, Steve Kremer, Graham Steel: Formal security analysis of PKCS#11 and proprietary extensions. Journal of Computer Security 18(6): 1211-1245 (2010)
	2009
30		Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Deducibility Constraints. ASIAN 2009: 24-38
29		Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE 2009: 355-370
28		Véronique Cortier, Stéphanie Delaune: A Method for Proving Observational Equivalence. CSF 2009: 266-276
27		Rohit Chadha, Stéphanie Delaune, Steve Kremer: Epistemic Logic for the Applied Pi Calculus. FMOODS/FORTE 2009: 182-197
26		Stéphanie Delaune, Steve Kremer, Olivier Pereira: Simulation based security in the applied pi calculus. FSTTCS 2009: 169-180
25		Mathieu Baudet, Véronique Cortier, Stéphanie Delaune: YAPA: A Generic Tool for Computing Intruder Knowledge. RTA 2009: 148-163
24		Véronique Cortier, Stéphanie Delaune: Safely composing security protocols. Formal Methods in System Design 34(1): 1-36 (2009)
23		Stéphanie Delaune, Steve Kremer, Olivier Pereira: Simulation based security in the applied pi calculus. IACR Cryptology ePrint Archive 2009: 267 (2009)
22		Stéphanie Delaune, Steve Kremer, Mark Ryan: Verifying privacy-type properties of electronic voting protocols. Journal of Computer Security 17(4): 435-487 (2009)
	2008
21		Stéphanie Delaune, Steve Kremer, Mark Ryan: Composition of Password-Based Protocols. CSF 2008: 239-251
20		Stéphanie Delaune, Steve Kremer, Graham Steel: Formal Analysis of PKCS#11. CSF 2008: 331-344
19		Myrto Arapinis, Stéphanie Delaune, Steve Kremer: From One Session to Many: Dynamic Tags for Security Protocols. LPAR 2008: 128-142
18		Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Symbolic protocol analysis for monoidal equational theories. Inf. Comput. 206(2-4): 312-351 (2008)
	2007
17		Véronique Cortier, Stéphanie Delaune, Graham Steel: A Formal Theory of Key Conjuring. CSF 2007: 79-96
16		Stéphanie Delaune, Steve Kremer, Mark Ryan: Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS 2007: 133-145
15		Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune: Safely Composing Security Protocols. FSTTCS 2007: 352-363
14		Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune: Combining Algorithms for Deciding Knowledge in Security Protocols. FroCos 2007: 103-117
13		Véronique Cortier, Stéphanie Delaune: Deciding Knowledge in Security Protocols for Monoidal Equational Theories. LPAR 2007: 196-210
12		Stéphanie Delaune, Hai Lin, Christopher Lynch: Protocol Verification Via Rigid/Flexible Resolution. LPAR 2007: 242-256
11		Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Deducibility Constraints, Equational Theory and Electronic Money. Rewriting, Computation and Proof 2007: 196-212
10		Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Associative-Commutative Deducibility Constraints. STACS 2007: 634-645
	2006
9		Stéphanie Delaune, Steve Kremer, Mark Ryan: Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW 2006: 28-42
8		Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. ICALP (2) 2006: 132-143
7		Stéphanie Delaune: Easy intruder deduction problems with homomorphisms. Inf. Process. Lett. 97(6): 213-218 (2006)
6		Stéphanie Delaune, Florent Jacquemard: Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. J. Autom. Reasoning 36(1-2): 85-124 (2006)
5		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)
4		Stéphanie Delaune: An undecidability result for AGh. Theor. Comput. Sci. 368(1-2): 161-167 (2006)
	2005
3		Hubert Comon-Lundh, Stéphanie Delaune: The Finite Variant Property: How to Get Rid of Some Algebraic Properties. RTA 2005: 294-307
	2004
2		Stéphanie Delaune, Florent Jacquemard: A decision procedure for the verification of security protocols with explicit destructors. ACM Conference on Computer and Communications Security 2004: 278-287
1		Stéphanie Delaune, Florent Jacquemard: A Theory of Dictionary Attacks and its Complexity. CSFW 2004: 2-15

Coauthor Index

1	Myrto Arapinis	[19]
2	Mathilde Arnaud	[14] [38] [42]
3	Mathieu Baudet	[25] [33]
4	Sergiu Bursuc	[10] [11] [30]
5	Rohit Chadha	[27]
6	Vincent Cheval	[35] [43]
7	Céline Chevalier	[40]
8	Stefan Ciobâca	[29] [45]
9	Hubert Comon-Lundh (Hubert Comon)	[3] [10] [11] [30] [35] [43]
10	Véronique Cortier	[5] [13] [14] [15] [17] [24] [25] [28] [33] [38] [42] [44] [46]
11	Morten Dahl	[37] [39]
12	Jan Degrieck	[46]
13	Jérémie Delaitre	[15]
14	Florent Jacquemard	[1] [2] [6]
15	Steve Kremer	[9] [16] [19] [20] [21] [22] [23] [26] [27] [29] [31] [32] [34] [36] [40] [41] [45]
16	Pascal Lafourcade	[5] [8] [18]
17	Hai Lin	[12]
18	Denis Lugiez	[8] [18]
19	Christopher Lynch	[12]
20	Olivier Pereira	[23] [26]
21	Mark Ryan (Mark Dermot Ryan)	[9] [16] [21] [22] [32] [34] [36] [41]
22	Graham Steel	[17] [20] [31] [36] [37] [39] [41]
23	Ralf Treinen	[8] [18]

Colors in the list of coauthors

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