Stéphanie Delaune

121 papers A* 7A 24B 6Misc 2Journal 43Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Formal Analysis of Random Nonce Misuses in Cryptographic Protocols. CSF Gildas Avoine, Tristan Claverie, Stéphanie Delaune
2025	J	`jnl`	Is one vote really enough? Vote privacy with re-voting and a dishonest ballot box. J. Comput. Secur. Stéphanie Delaune, Joseph Lallemand, Arthur Outrey
2025	A	`conf`	SMT-Based Automation for Overwhelming Truth. CSF David Baelde, Stéphanie Delaune, Stanislas Riou
2025	A	`conf`	Secrecy by Typing in the Computational Model. CSF Stéphanie Delaune, Clément Hérouard, Joseph Lallemand
2024	A*	`conf`	Formal Security Analysis of Widevine through the W3C EME Standard. USENIX Security Symposium Stéphanie Delaune, Joseph Lallemand, Gwendal Patat, Florian Roudot, Mohamed Sabt
2024	J	`jnl`	The Squirrel Prover and its Logic. ACM SIGLOG News David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand
2023	J	`jnl`	New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2023	A	`conf`	Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. CSF David Baelde, Alexandre Debant, Stéphanie Delaune
2023	—	`conf`	Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks. ESORICS (3) Tristan Claverie, Gildas Avoine, Stéphanie Delaune, José Lopes-Esteves
2022	A	`conf`	A small bound on the number of sessions for security protocols. CSF Véronique Cortier, Antoine Dallon, Stéphanie Delaune
2022	J	`jnl`	Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols. J. Comput. Secur. Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein
2022	A	`conf`	Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. CSF David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau
2022	Misc	`conf`	New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. INDOCRYPT Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2022	—	`conf`	One Vote Is Enough for Analysing Privacy. ESORICS (1) Stéphanie Delaune, Joseph Lallemand
2022	J	`jnl`	So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols. ACM Trans. Priv. Secur. Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
2021	J	`jnl`	A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties. J. Autom. Reason. Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan
2021	Misc	`conf`	A Simpler Model for Recovering Superpoly on Trivium. SAC Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2021	J	`jnl`	A Simpler Model for Recovering Superpoly onTrivium. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2021	A*	`conf`	An Interactive Prover for Protocol Verification in the Computational Model. SP David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
2021	J	`jnl`	Catching the Fastest Boomerangs - Application to SKINNY. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Patrick Derbez, Mathieu Vavrille
2021	—	`conf`	Efficient Methods to Search for Best Differential Characteristics on SKINNY. ACNS (2) Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
2020	A	`conf`	A Method for Proving Unlinkability of Stateful Protocols. CSF David Baelde, Stéphanie Delaune, Solène Moreau
2020	—	`conf`	Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. ESORICS (2) Véronique Cortier, Stéphanie Delaune, Jannik Dreier
2020	J	`jnl`	Catching the Fastest Boomerangs Application to SKINNY. IACR Trans. Symmetric Cryptol. Stéphanie Delaune, Patrick Derbez, Mathieu Vavrille
2020	—	`conf`	Rewriting in Protocol Verification. UNIF Stéphanie Delaune
2020	J	`jnl`	SKINNY with Scalpel - Comparing Tools for Differential Analysis. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
2020	A*	`conf`	Security Analysis and Implementation of Relay-Resistant Contactless Payments. CCS Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
2020	J	`jnl`	Typing Messages for Free in Security Protocols. ACM Trans. Comput. Log. Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune
2019	J	`jnl`	A method for unbounded verification of privacy-type properties. J. Comput. Secur. Lucca Hirschi, David Baelde, Stéphanie Delaune
2019	—	`conf`	Symbolic Analysis of Terrorist Fraud Resistance. ESORICS (1) Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
2019	—	`conf`	Symbolic Verification of Distance Bounding Protocols. POST Alexandre Debant, Stéphanie Delaune
2018	—	`conf`	A Symbolic Framework to Analyse Physical Proximity in Security Protocols. FSTTCS Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
2018	B	`conf`	Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk). FSCD Stéphanie Delaune
2018	—	`conf`	Efficiently Deciding Equivalence for Standard Primitives and Phases. ESORICS (1) Véronique Cortier, Antoine Dallon, Stéphanie Delaune
2018	A*	`conf`	PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS Mário S. Alvim, Stéphanie Delaune
2018	J	`jnl`	POPSTAR: so near and yet so far. ACM SIGLOG News Stéphanie Delaune
2018	—	`conf`	POR for Security Protocol Equivalences - Beyond Action-Determinism. ESORICS (1) David Baelde, Stéphanie Delaune, Lucca Hirschi
2018	J	`jnl`	POR for Security Protocol Equivalences: Beyond Action-Determinism. CoRR David Baelde, Stéphanie Delaune, Lucca Hirschi
2018	—	`ed.`	Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018 PLAS@CCS Mário S. Alvim, Stéphanie Delaune
2017	J	`jnl`	A Reduced Semantics for Deciding Trace Equivalence. CoRR David Baelde, Stéphanie Delaune, Lucca Hirschi
2017	J	`jnl`	A Reduced Semantics for Deciding Trace Equivalence. Log. Methods Comput. Sci. David Baelde, Stéphanie Delaune, Lucca Hirschi
2017	J	`jnl`	A method for unbounded verification of privacy-type properties. CoRR Lucca Hirschi, David Baelde, Stéphanie Delaune
2017	J	`jnl`	A procedure for deciding symbolic equivalence between sets of constraint systems. Inf. Comput. Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
2017	J	`jnl`	A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. J. Log. Algebraic Methods Program. Stéphanie Delaune, Lucca Hirschi
2017	A	`conf`	Formal Verification of Protocols Based on Short Authenticated Strings. CSF Stéphanie Delaune, Steve Kremer, Ludovic Robin
2017	A	`conf`	SAT-Equiv: An Efficient Tool for Equivalence Properties. CSF Véronique Cortier, Antoine Dallon, Stéphanie Delaune
2017	A	`conf`	Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR. CSF David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer
2016	A*	`conf`	A Method for Verifying Privacy-Type Properties: The Unbounded Case. IEEE Symposium on Security and Privacy Lucca Hirschi, David Baelde, Stéphanie Delaune
2016	J	`jnl`	A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. CoRR Stéphanie Delaune, Lucca Hirschi
2016	—	`conf`	Bounding the Number of Agents, for Equivalence Too. POST Véronique Cortier, Antoine Dallon, Stéphanie Delaune
2015	—	`conf`	Checking Trace Equivalence: How to Get Rid of Nonces? ESORICS (2) Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
2015	—	`conf`	Composing Security Protocols: From Confidentiality to Privacy. POST Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
2015	A	`conf`	Decidability of Trace Equivalence for Protocols with Nonces. CSF Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
2015	J	`jnl`	From Security Protocols to Pushdown Automata. ACM Trans. Comput. Log. Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
2015	B	`conf`	Partial Order Reduction for Security Protocols. CONCUR David Baelde, Stéphanie Delaune, Lucca Hirschi
2015	J	`jnl`	Partial Order Reduction for Security Protocols. CoRR David Baelde, Stéphanie Delaune, Lucca Hirschi
2014	—	`conf`	A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems. POST David Baelde, Stéphanie Delaune, Lucca Hirschi
2014	J	`jnl`	A reduced semantics for deciding trace equivalence using constraint systems. CoRR David Baelde, Stéphanie Delaune, Lucca Hirschi
2014	J	`jnl`	Composing security protocols: from confidentiality to privacy. CoRR Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
2014	J	`jnl`	Deducibility constraints and blind signatures. Inf. Comput. Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2014	J	`jnl`	Dynamic Tags for Security Protocols. Log. Methods Comput. Sci. Myrto Arapinis, Stéphanie Delaune, Steve Kremer
2014	J	`jnl`	Modeling and verifying ad hoc routing protocols. Inf. Comput. Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
2014	—	`conf`	Tests for Establishing Security Properties. TGC Vincent Cheval, Stéphanie Delaune, Mark Ryan
2014	B	`conf`	Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. CONCUR Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
2013	J	`jnl`	Composition of password-based protocols. Formal Methods Syst. Des. Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
2013	J	`jnl`	Deciding equivalence-based properties using constraint solving. Theor. Comput. Sci. Vincent Cheval, Véronique Cortier, Stéphanie Delaune
2013	—	`conf`	Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks. POST Rémy Chrétien, Stéphanie Delaune
2013	—	`conf`	From Security Protocols to Pushdown Automata. ICALP (2) Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
2013	J	`jnl`	YAPA: A Generic Tool for Computing Intruder Knowledge. ACM Trans. Comput. Log. Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
2012	—	`conf`	Analysing Routing Protocols: Four Nodes Topologies Are Sufficient. POST Véronique Cortier, Jan Degrieck, Stéphanie Delaune
2012	J	`jnl`	Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reason. Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
2012	J	`jnl`	Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. J. Autom. Reason. Véronique Cortier, Stéphanie Delaune
2012	—	`ch.`	Formal Security Proofs. Software Safety and Security Hubert Comon-Lundh, Stéphanie Delaune
2012	A	`conf`	Security Protocols, Constraint Systems, and Group Theories. IJCAR Stéphanie Delaune, Steve Kremer, Daniel Pasaila
2012	A	`conf`	Verifying Privacy-Type Properties in a Modular Way. CSF Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
2011	—	`ch.`	Constraint solving techniques and enriching the model with equational theories. Formal Models and Techniques for Analyzing Security Protocols Hubert Comon-Lundh, Stéphanie Delaune, Jonathan K. Millen
2011	A	`conf`	Deciding Security for Protocols with Recursive Tests. CADE Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
2011	—	`conf`	Formal Analysis of Privacy for Anonymous Location Based Services. TOSCA Morten Dahl, Stéphanie Delaune, Graham Steel
2011	A	`conf`	Formal Analysis of Protocols Based on TPM State Registers. CSF Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
2011	A*	`conf`	Trace equivalence decision: negative tests and non-determinism. CCS Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
2011	—	`conf`	Transforming Password Protocols to Compose. FSTTCS Céline Chevalier, Stéphanie Delaune, Steve Kremer
2010	—	`conf`	A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
2010	A	`conf`	Automating Security Analysis: Symbolic Equivalence of Constraint Systems. IJCAR Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
2010	A	`conf`	Formal Analysis of Privacy for Vehicular Mix-Zones. ESORICS Morten Dahl, Stéphanie Delaune, Graham Steel
2010	J	`jnl`	Formal security analysis of PKCS#11 and proprietary extensions. J. Comput. Secur. Stéphanie Delaune, Steve Kremer, Graham Steel
2010	A	`conf`	Modeling and Verifying Ad Hoc Routing Protocols. CSF Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
2010	J	`jnl`	Symbolic bisimulation for the applied pi calculus. J. Comput. Secur. Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
2010	—	`conf`	Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. Towards Trustworthy Elections Stéphanie Delaune, Steve Kremer, Mark Ryan
2010	J	`jnl`	YAPA: A generic tool for computing intruder knowledge CoRR Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
2009	A	`conf`	A Method for Proving Observational Equivalence. CSF Véronique Cortier, Stéphanie Delaune
2009	A	`conf`	Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
2009	—	`conf`	Deducibility Constraints. ASIAN Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2009	—	`conf`	Epistemic Logic for the Applied Pi Calculus. FMOODS/FORTE Rohit Chadha, Stéphanie Delaune, Steve Kremer
2009	J	`jnl`	Safely composing security protocols. Formal Methods Syst. Des. Véronique Cortier, Stéphanie Delaune
2009	—	`conf`	Simulation based security in the applied pi calculus. FSTTCS Stéphanie Delaune, Steve Kremer, Olivier Pereira
2009	J	`jnl`	Simulation based security in the applied pi calculus. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Steve Kremer, Olivier Pereira
2009	J	`jnl`	Verifying privacy-type properties of electronic voting protocols. J. Comput. Secur. Stéphanie Delaune, Steve Kremer, Mark Ryan
2009	—	`conf`	YAPA: A Generic Tool for Computing Intruder Knowledge. RTA Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
2008	—	`conf`	Automatic Verification of Privacy Properties in the Applied pi Calculus. IFIPTM Stéphanie Delaune, Mark Ryan, Ben Smyth
2008	A	`conf`	Composition of Password-Based Protocols. CSF Stéphanie Delaune, Steve Kremer, Mark Ryan
2008	A	`conf`	Formal Analysis of PKCS#11. CSF Stéphanie Delaune, Steve Kremer, Graham Steel
2008	B	`conf`	From One Session to Many: Dynamic Tags for Security Protocols. LPAR Myrto Arapinis, Stéphanie Delaune, Steve Kremer
2008	J	`jnl`	Symbolic protocol analysis for monoidal equational theories. Inf. Comput. Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2007	A	`conf`	A Formal Theory of Key Conjuring. CSF Véronique Cortier, Stéphanie Delaune, Graham Steel
2007	A	`conf`	Associative-Commutative Deducibility Constraints. STACS Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2007	—	`conf`	Combining Algorithms for Deciding Knowledge in Security Protocols. FroCoS Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
2007	B	`conf`	Deciding Knowledge in Security Protocols for Monoidal Equational Theories. LPAR Véronique Cortier, Stéphanie Delaune
2007	—	`conf`	Deducibility Constraints, Equational Theory and Electronic Money. Rewriting, Computation and Proof Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2007	B	`conf`	Protocol Verification Via Rigid/Flexible Resolution. LPAR Stéphanie Delaune, Hai Lin, Christopher Lynch
2007	—	`conf`	Safely Composing Security Protocols. FSTTCS Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune
2007	—	`conf`	Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS Stéphanie Delaune, Steve Kremer, Mark Ryan
2006	J	`jnl`	A survey of algebraic properties used in cryptographic protocols. J. Comput. Secur. Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade
2006	J	`jnl`	An undecidability result for AGh. Theor. Comput. Sci. Stéphanie Delaune
2006	—	`conf`	Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW Stéphanie Delaune, Steve Kremer, Mark Ryan
2006	J	`jnl`	Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. J. Autom. Reason. Stéphanie Delaune, Florent Jacquemard
2006	J	`jnl`	Easy intruder deduction problems with homomorphisms. Inf. Process. Lett. Stéphanie Delaune
2006	—	`conf`	Symbolic Protocol Analysis in Presence of a Homomorphism Operator and ICALP (2) Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2006	—	`—`	Vérification des protocoles cryptographiques et propriétés algébriques. (Verification of cryptographic protocols with algebraic properties). Stéphanie Delaune
2005	—	`conf`	The Finite Variant Property: How to Get Rid of Some Algebraic Properties. RTA Hubert Comon-Lundh, Stéphanie Delaune
2004	—	`conf`	A Theory of Dictionary Attacks and its Complexity. CSFW Stéphanie Delaune, Florent Jacquemard
2004	A*	`conf`	A decision procedure for the verification of security protocols with explicit destructors. CCS Stéphanie Delaune, Florent Jacquemard