Léo Robert

40 papers A* 1A 2B 2C 5Misc 4Journal 17Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lozenge Tiling by Computing Distances.
CoRR
Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert
2025 A conf
Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability.
CP
Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
2025 A conf
Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol.
AsiaCCS
Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona
2025 — conf
Tilepaint and Aquarium Puzzles in Periodic Grids.
DGMM
Yan Gerard, Pascal Lafourcade, Lola-Baie Mallordy, Léo Robert
2024 J jnl
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun.
New Gener. Comput.
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
2024 — conf
Secure Keyless Multi-party Storage Scheme.
ESORICS (3)
Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert
2024 — conf
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption.
AFRICACRYPT
Pascal Lafourcade, Gaël Marcadet, Léo Robert
2023 Misc conf
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun.
IWSEC
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
2023 J jnl
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun.
IACR Cryptol. ePrint Arch.
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
2023 A* conf
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment.
USENIX Security Symposium
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
2023 J jnl
Physical ZKP protocols for Nurimisaki and Kurodoko.
Theor. Comput. Sci.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2023 J jnl
Privacy-preserving Attestation for Virtualized Network Infrastructures.
IACR Cryptol. ePrint Arch.
Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert
2023 Misc conf
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol.
SAC
Gaël Marcadet, Pascal Lafourcade, Léo Robert
2023 J jnl
The Calissons Puzzle.
CoRR
Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert
2023 — conf
Towards a Privacy-Preserving Attestation for Virtualized Networks.
ESORICS (4)
Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert
2022 B conf
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking.
ACNS
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
2022 — conf
A Survey on Identity-Based Blind Signature.
FPS
Mirko Koscina, Pascal Lafourcade, Gaël Marcadet, Charles Olivier-Anclin, Léo Robert
2022 C conf
Card-Based ZKP Protocol for Nurimisaki.
SSS
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2022 J jnl
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake.
New Gener. Comput.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2022 — —
Design and analysis of provably secure protocols: Applications to messaging and attestation. (Conceptions et analyses de protocoles en sécurité prouvable: applications aux messageries et à l'attestation).
Léo Robert
2022 C conf
Hide a Liar: Card-Based ZKP Protocol for Usowan.
TAMC
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2022 J jnl
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment.
IACR Cryptol. ePrint Arch.
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
2022 J jnl
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing.
IACR Cryptol. ePrint Arch.
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
2022 Misc conf
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing.
SAC
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
2022 J jnl
Optimal threshold padlock systems.
J. Comput. Secur.
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
2022 J jnl
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle.
Inf. Comput.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki
2022 J jnl
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version).
IACR Cryptol. ePrint Arch.
Pascal Lafourcade, Gaël Marcadet, Léo Robert
2021 J jnl
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking.
IACR Cryptol. ePrint Arch.
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
2021 Misc conf
Card-Based ZKP Protocols for Takuzu and Juosan.
FUN
Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone
2021 C conf
Fast Cramer-Shoup Cryptosystem.
SECRYPT
Pascal Lafourcade, Léo Robert, Demba Sow
2021 — conf
Generic Construction for Identity-Based Proxy Blind Signature.
FPS
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert
2021 J jnl
How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition.
Theor. Comput. Sci.
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone
2021 C conf
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori.
CiE
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2021 J jnl
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori.
IACR Cryptol. ePrint Arch.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2020 — conf
Fast Short and Fast Linear Cramer-Shoup.
FPS
Pascal Lafourcade, Léo Robert, Demba Sow
2020 B conf
How to Teach the Undecidability of Malware Detection Problem and Halting Problem.
WISE
Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
2020 — conf
Linear Generalized ElGamal Encryption Scheme.
ICETE (2)
Pascal Lafourcade, Léo Robert, Demba Sow
2020 J jnl
Linear Generalized ElGamal Encryption Scheme.
IACR Cryptol. ePrint Arch.
Demba Sow, Léo Robert, Pascal Lafourcade
2020 J jnl
Optimal Threshold Padlock Systems.
CoRR
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
2020 C conf
Physical Zero-Knowledge Proof for Suguru Puzzle.
SSS
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki