a person in the record
Stéphanie Delaune
Researcher (ORCID 0000-0002-9744-8834)
Supervised 10 doctoral students at Université de Rennes, Université Paris Saclay (COmUE), and INSA de Rennes between 2011 and 2025; doctorate at École normale supérieure de Cachan - ENS Cachan in 2006 under Hubert Comon-Lundh. Linked to Wikidata, ORCID, and IdRef.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
- cited by a thesis record
Hubert Comon-Lundh“Vérification des protocoles cryptographiques et propriétés algébriques”
2006 · École normale supérieure de Cachan - ENS Cachan · doctoral
Students10
- cited by a thesis record
Tristan Claverie“Towards a method for the security analysis of wireless communication systems”
2025 · INSA de Rennes · doctoral - cited by a thesis record
Clément Hérouard“Modelling and verification of protocols in the computational model with Squirrel”
2025 · Université de Rennes · doctoral - cited by a thesis record
Arthur Gontier“Cryptanalysis of symmetric cipher using generic solvers”
2023 · Université de Rennes · doctoral - cited by a thesis record
Solène Moreau“Formal verification of unlinkability for stateful protocols : bridging the gap between symbolic and computational models”
2021 · Université de Rennes · doctoral - cited by a thesis record
Tristan Ninet“Formal verification of the Internet Key Exchange (IKEv2) security protocol”
2020 · Université de Rennes · doctoral - cited by a thesis record
Antoine Dallon“Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques”
2018 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Ludovic Robin“Vérification formelle de protocoles basés sur de courtes chaines authentifiées”
2018 · Université de Lorraine · doctoral - cited by a thesis record
Lucca Hirschi“Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice”
2017 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Céleste Chrétien“Automated analysis of equivalence properties for cryptographic protocols”
2016 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Mathilde Arnaud“Formal verification of secured routing protocols”
2011 · École normale supérieure de Cachan - ENS Cachan · doctoral
The line above and below1 step
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
cited by a thesis recordHubert Comon-Lundh
Below them, within 3 steps, the record reaches 11 people: 11 cited by thesis records.
Theses1
- cited by a thesis record
Vérification des protocoles cryptographiques et propriétés algébriques
2006 · École normale supérieure de Cachan - ENS Cachan · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordDenis Lugiezreferee
- cited by a thesis recordAhmed Bouajjanijury president
- cited by a thesis recordHubert Comon-Lundhjury member
- cited by a thesis recordFrancis Klayjury member
- cited by a thesis recordChristopher Lynchjury member
- cited by a thesis recordMichaël Rusinowitchreferee
- cited by a thesis recordMark Ryanjury member
Works1
2006 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Vérification des protocoles cryptographiques et propriétés algébriques
2006 · doctoral thesis · HAL/TEL OAI
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Sat beside the lineage8
referee, jury member, or jury president, not advisor
- cited by a thesis record
Marie Euler“Tools for the cryptanalysis and design of symmetric cryptographic primitives”
jury president · 2026 · Université de Rennes · doctoral - cited by a thesis record
Théophile Wallez“A Verification Framework for Secure Group Messaging”
referee · 2025 · École Normale Supérieure Paris · doctoral - cited by a thesis record
Maïwenn Racouchot“Formal analysis of security protocols:real-world case-studies and automated proof strategies”
jury member · 2024 · Université de Lorraine · doctoral - cited by a thesis record
Katharina Boudgoust“Theoretical hardness of algebraically structured learning with errors”
jury president · 2021 · Université de Rennes · doctoral - cited by a thesis record
Nadim Kobeissi“Formal verification for real-world cryptographic protocols and implementations”
referee · 2018 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Florian Lugou“Approaches for analyzing security properties of smart objects”
referee · 2018 · COMUE Université Côte d'Azur (2015 - 2019) · doctoral - cited by a thesis record
Miriam Paiola“Verification of cryptographic protocols with lists of unbounded lengths”
jury member · 2014 · Université Paris-Diderot (Paris 7) · doctoral - cited by a thesis record
Vincent Cheval“Automatic verification of cryptographic protocols : privacy-type properties”
jury member · 2012 · École normale supérieure de Cachan - ENS Cachan · doctoral