a person in the record
Léo Robert
Doctorate at Université Clermont Auvergne in 2022 under Pascal Lafourcade and Maria Cristina Onete. Linked to Wikidata, ORCID, and 2 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors2
- cited by a thesis record
Pascal Lafourcade“Design and analysis of provably secure protocols : Applications to messaging and attestation”
2022 · Université Clermont Auvergne · doctoral - cited by a thesis record
Maria Cristina Onete“Design and analysis of provably secure protocols : Applications to messaging and attestation”
2022 · Université Clermont Auvergne · doctoral
The line above and below2 steps
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 recordMaria Cristina Onetecited by a thesis recordPascal Lafourcade
- 2 steps up
cited by a thesis recordRalf Treinen
Theses1
- cited by a thesis record
Design and analysis of provably secure protocols : Applications to messaging and attestation
2022 · Université Clermont Auvergne · doctoral · École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordJean-Guillaume Dumasjury member
- cited by a thesis recordKarthikeyan Bhargavanjury member
- cited by a thesis recordBenjamin Nguyenreferee
- cited by a thesis recordDavid Pointchevaljury president
- cited by a thesis recordOlivier Sandersjury member
- cited by a thesis recordSuna Melek Önenreferee
Works1
2022 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Design and analysis of provably secure protocols : Applications to messaging and attestation
2022 · 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.
Papers in OpenAlex46
2020most in 2026: 92026
last at Université Clermont Auvergne, Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes, Modélisation, information et systèmes, Université de Picardie Jules Verne
writes on Cryptography and Data Security, Advanced Authentication Protocols Security, Quantum Information and Cryptography, Formal Methods in Verification, Complexity and Algorithms in Graphs
- indexed by OpenAlex2024 · 3 authorscited 76
- indexed by OpenAlex2020 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 8 authorscited 42
- indexed by OpenAlexcited 40
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition
2021 · Theoretical Computer Science · 6 authors - indexed by OpenAlexcited 38
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
2021 · Information and Computation · 5 authors - indexed by OpenAlexcited 35
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake
2022 · New Generation Computing · 4 authors - indexed by OpenAlex2020 · Lecture notes in computer science · 4 authorscited 25
- indexed by OpenAlexcited 23
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori
2021 · Lecture notes in computer science · 4 authors - indexed by OpenAlex2022 · Lecture notes in computer science · 4 authorscited 16
- indexed by OpenAlex2023 · Theoretical Computer Science · 4 authorscited 14
- indexed by OpenAlex2022 · Lecture notes in computer science · 4 authorscited 14
the 25 most cited of 46
- indexed by OpenAlexcited 10
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun
2023 · Lecture notes in computer science · 5 authors - indexed by OpenAlex2024 · Tsinghua Science & Technology · 4 authorscited 9
- indexed by OpenAlexcited 8
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking
2022 · Lecture notes in computer science · 7 authors - indexed by OpenAlexcited 7
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun
2024 · New Generation Computing · 5 authors - indexed by OpenAlexcited 4
Generic Construction for Identity-Based Proxy Blind Signature
2022 · Lecture notes in computer science · 4 authors - indexed by OpenAlex2020 · International Joint Conference on e-Business and Telecommunications (ICETE) · 3 authorscited 4
- indexed by OpenAlex2021 · International Conference on Security and Cryptography · 3 authorscited 3
- indexed by OpenAlex2025 · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · 7 authorscited 2
- indexed by OpenAlexcited 2
Towards a Privacy-Preserving Attestation for Virtualized Networks
2024 · Lecture notes in computer science · 5 authors - indexed by OpenAlex2023 · Lecture notes in computer science · 5 authorscited 2
- indexed by OpenAlex2024 · Lecture notes in computer science · 4 authorscited 1
- indexed by OpenAlexcited 1
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment
2023 · HAL (Le Centre pour la Communication Scientifique Directe) · 5 authors - indexed by OpenAlex2022 · ACM/SIGAPP Symposium on Applied Computing (SAC) · 6 authorscited 1
- indexed by OpenAlex2026 · HAL (Le Centre pour la Communication Scientifique Directe) · 4 authorscited 0
- indexed by OpenAlexcited 0
On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation
2026 · HAL (Le Centre pour la Communication Scientifique Directe) · 4 authors