Stéphanie Delaune

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 51

Top Venues

CSF

CoRR

IACR Cryptol. ePrint Arch.

ESORICS (1)

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Stéphanie Delaune, Joseph Lallemand, Gwendal Patat, Florian Roudot, Mohamed Sabt
Formal Security Analysis of Widevine through the W3C EME Standard. USENIX Security Symposium (2024)
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand
The Squirrel Prover and its Logic. ACM SIGLOG News 11 (2) (2024)
Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. IACR Cryptol. ePrint Arch. 2023 (2023)
David Baelde, Alexandre Debant, Stéphanie Delaune
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. CSF (2023)
Tristan Claverie, Gildas Avoine, Stéphanie Delaune, José Lopes-Esteves
Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks. ESORICS (3) (2023)
Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. INDOCRYPT (2022)
Stéphanie Delaune, Joseph Lallemand
One Vote Is Enough for Analysing Privacy. ESORICS (1) (2022)
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols. ACM Trans. Priv. Secur. 25 (2) (2022)
David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. CSF (2022)
Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols. J. Comput. Secur. 30 (4) (2022)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
A small bound on the number of sessions for security protocols. CSF (2022)
Stéphanie Delaune, Patrick Derbez, Mathieu Vavrille
Catching the Fastest Boomerangs - Application to SKINNY. IACR Cryptol. ePrint Arch. 2021 (2021)
Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
Efficient Methods to Search for Best Differential Characteristics on SKINNY. ACNS (2) (2021)
Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
A Simpler Model for Recovering Superpoly on Trivium. SAC (2021)
Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
A Simpler Model for Recovering Superpoly onTrivium. IACR Cryptol. ePrint Arch. 2021 (2021)
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan
A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties. J. Autom. Reason. 65 (4) (2021)
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
An Interactive Prover for Protocol Verification in the Computational Model. IEEE Symposium on Security and Privacy (2021)
Stéphanie Delaune
Rewriting in Protocol Verification. UNIF (2020)
Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
Security Analysis and Implementation of Relay-Resistant Contactless Payments. CCS (2020)
Stéphanie Delaune, Patrick Derbez, Mathieu Vavrille
Catching the Fastest Boomerangs Application to SKINNY. IACR Trans. Symmetric Cryptol. 2020 (4) (2020)
Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Typing Messages for Free in Security Protocols. ACM Trans. Comput. Log. 21 (1) (2020)
David Baelde, Stéphanie Delaune, Solène Moreau
A Method for Proving Unlinkability of Stateful Protocols. CSF (2020)
Véronique Cortier, Stéphanie Delaune, Jannik Dreier
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. ESORICS (2) (2020)
Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
SKINNY with Scalpel - Comparing Tools for Differential Analysis. IACR Cryptol. ePrint Arch. 2020 (2020)
Lucca Hirschi, David Baelde, Stéphanie Delaune
A method for unbounded verification of privacy-type properties. J. Comput. Secur. 27 (3) (2019)
Alexandre Debant, Stéphanie Delaune
Symbolic Verification of Distance Bounding Protocols. POST (2019)
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Symbolic Analysis of Terrorist Fraud Resistance. ESORICS (1) (2019)
David Baelde, Stéphanie Delaune, Lucca Hirschi
POR for Security Protocol Equivalences - Beyond Action-Determinism. ESORICS (1) (2018)
Mário S. Alvim, Stéphanie Delaune
PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS (2018)
Stéphanie Delaune
Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk). FSCD (2018)
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
A Symbolic Framework to Analyse Physical Proximity in Security Protocols. FSTTCS (2018)
Stéphanie Delaune
POPSTAR: so near and yet so far. ACM SIGLOG News 5 (3) (2018)
David Baelde, Stéphanie Delaune, Lucca Hirschi
POR for Security Protocol Equivalences: Beyond Action-Determinism. CoRR (2018)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Efficiently Deciding Equivalence for Standard Primitives and Phases. ESORICS (1) (2018)
Stéphanie Delaune, Steve Kremer, Ludovic Robin
Formal Verification of Protocols Based on Short Authenticated Strings. CSF (2017)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A Reduced Semantics for Deciding Trace Equivalence. CoRR (2017)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A Reduced Semantics for Deciding Trace Equivalence. Log. Methods Comput. Sci. 13 (2) (2017)
David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR. CSF (2017)
Lucca Hirschi, David Baelde, Stéphanie Delaune
A method for unbounded verification of privacy-type properties. CoRR (2017)
Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
A procedure for deciding symbolic equivalence between sets of constraint systems. Inf. Comput. 255 (2017)
Stéphanie Delaune, Lucca Hirschi
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. J. Log. Algebraic Methods Program. 87 (2017)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
SAT-Equiv: An Efficient Tool for Equivalence Properties. CSF (2017)
Stéphanie Delaune, Lucca Hirschi
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. CoRR (2016)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Bounding the Number of Agents, for Equivalence Too. POST (2016)
Lucca Hirschi, David Baelde, Stéphanie Delaune
A Method for Verifying Privacy-Type Properties: The Unbounded Case. IEEE Symposium on Security and Privacy (2016)
David Baelde, Stéphanie Delaune, Lucca Hirschi
Partial Order Reduction for Security Protocols. CoRR (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Decidability of Trace Equivalence for Protocols with Nonces. CSF (2015)
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Composing Security Protocols: From Confidentiality to Privacy. POST (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Checking Trace Equivalence: How to Get Rid of Nonces? ESORICS (2) (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
From Security Protocols to Pushdown Automata. ACM Trans. Comput. Log. 17 (1) (2015)
David Baelde, Stéphanie Delaune, Lucca Hirschi
Partial Order Reduction for Security Protocols. CONCUR (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. CONCUR (2014)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Modeling and verifying ad hoc routing protocols. Inf. Comput. 238 (2014)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Deducibility constraints and blind signatures. Inf. Comput. 238 (2014)
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Composing security protocols: from confidentiality to privacy. CoRR (2014)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A reduced semantics for deciding trace equivalence using constraint systems. CoRR (2014)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems. POST (2014)
Vincent Cheval, Stéphanie Delaune, Mark Ryan
Tests for Establishing Security Properties. TGC (2014)
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
Dynamic Tags for Security Protocols. Log. Methods Comput. Sci. 10 (2) (2014)
Rémy Chrétien, Stéphanie Delaune
Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks. POST (2013)
Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
Composition of password-based protocols. Formal Methods Syst. Des. 43 (3) (2013)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A Generic Tool for Computing Intruder Knowledge. ACM Trans. Comput. Log. 14 (1) (2013)
Vincent Cheval, Véronique Cortier, Stéphanie Delaune
Deciding equivalence-based properties using constraint solving. Theor. Comput. Sci. 492 (2013)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
From Security Protocols to Pushdown Automata. ICALP (2) (2013)
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Verifying Privacy-Type Properties in a Modular Way. CSF (2012)
Stéphanie Delaune, Steve Kremer, Daniel Pasaila
Security Protocols, Constraint Systems, and Group Theories. IJCAR (2012)
Véronique Cortier, Jan Degrieck, Stéphanie Delaune
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient. POST (2012)
Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reason. 48 (2) (2012)
Véronique Cortier, Stéphanie Delaune
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. J. Autom. Reason. 48 (4) (2012)
Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
Trace equivalence decision: negative tests and non-determinism. CCS (2011)
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
Formal Analysis of Protocols Based on TPM State Registers. CSF (2011)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Deciding Security for Protocols with Recursive Tests. CADE (2011)
Morten Dahl, Stéphanie Delaune, Graham Steel
Formal Analysis of Privacy for Anonymous Location Based Services. TOSCA (2011)
Céline Chevalier, Stéphanie Delaune, Steve Kremer
Transforming Password Protocols to Compose. FSTTCS (2011)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Modeling and Verifying Ad Hoc Routing Protocols. CSF (2010)
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
Symbolic bisimulation for the applied pi calculus. J. Comput. Secur. 18 (2) (2010)
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)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A generic tool for computing intruder knowledge CoRR (2010)
Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
Automating Security Analysis: Symbolic Equivalence of Constraint Systems. IJCAR (2010)
Morten Dahl, Stéphanie Delaune, Graham Steel
Formal Analysis of Privacy for Vehicular Mix-Zones. ESORICS (2010)
Stéphanie Delaune, Steve Kremer, Graham Steel
Formal security analysis of PKCS#11 and proprietary extensions. J. Comput. Secur. 18 (6) (2010)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. Towards Trustworthy Elections (2010)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A Generic Tool for Computing Intruder Knowledge. RTA (2009)
Véronique Cortier, Stéphanie Delaune
Safely composing security protocols. Formal Methods Syst. Des. 34 (1) (2009)
Véronique Cortier, Stéphanie Delaune
A Method for Proving Observational Equivalence. CSF (2009)
Stéphanie Delaune, Steve Kremer, Olivier Pereira
Simulation based security in the applied pi calculus. IACR Cryptol. ePrint Arch. 2009 (2009)
Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE (2009)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Deducibility Constraints. ASIAN (2009)
Stéphanie Delaune, Steve Kremer, Olivier Pereira
Simulation based security in the applied pi calculus. FSTTCS (2009)
Rohit Chadha, Stéphanie Delaune, Steve Kremer
Epistemic Logic for the Applied Pi Calculus. FMOODS/FORTE (2009)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Verifying privacy-type properties of electronic voting protocols. J. Comput. Secur. 17 (4) (2009)
Stéphanie Delaune, Steve Kremer, Graham Steel
Formal Analysis of PKCS#11. CSF (2008)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Composition of Password-Based Protocols. CSF (2008)
Stéphanie Delaune, Mark Ryan, Ben Smyth
Automatic Verification of Privacy Properties in the Applied pi Calculus. IFIPTM (2008)
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
From One Session to Many: Dynamic Tags for Security Protocols. LPAR (2008)
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
Symbolic protocol analysis for monoidal equational theories. Inf. Comput. 206 (2-4) (2008)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Associative-Commutative Deducibility Constraints. STACS (2007)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS (2007)
Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune
Safely Composing Security Protocols. FSTTCS (2007)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Combining Algorithms for Deciding Knowledge in Security Protocols. FroCoS (2007)

Stéphanie Delaune.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stéphanie Delaune