Léo Robert

According to our database, Léo Robert authored at least 31 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability.

Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol.

Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona

Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 2025

2024

Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun.

Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert

New Gener. Comput., September, 2024

Secure Keyless Multi-party Storage Scheme.

Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert

Proceedings of the Computer Security - ESORICS 2024, 2024

iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption.

Pascal Lafourcade, Gaël Marcadet, Léo Robert

Proceedings of the Progress in Cryptology - AFRICACRYPT 2024, 2024

2023

Physical ZKP protocols for Nurimisaki and Kurodoko.

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

Theor. Comput. Sci., September, 2023

Privacy-preserving Attestation for Virtualized Network Infrastructures.

Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert

IACR Cryptol. ePrint Arch., 2023

The Calissons Puzzle.

Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert

CoRR, 2023

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment.

Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert

Proceedings of the 32nd USENIX Security Symposium, 2023

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol.

Gaël Marcadet, Pascal Lafourcade, Léo Robert

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun.

Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert

Proceedings of the Advances in Information and Computer Security, 2023

Towards a Privacy-Preserving Attestation for Virtualized Networks.

Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert

Proceedings of the Computer Security - ESORICS 2023, 2023

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

PhD thesis, 2022

Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake.

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

New Gener. Comput., 2022

Optimal threshold padlock systems.

Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert

J. Comput. Secur., 2022

Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle.

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki

Inf. Comput., 2022

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version).

Pascal Lafourcade, Gaël Marcadet, Léo Robert

IACR Cryptol. ePrint Arch., 2022

Hide a Liar: Card-Based ZKP Protocol for Usowan.

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

Proceedings of the Theory and Applications of Models of Computation, 2022

Card-Based ZKP Protocol for Nurimisaki.

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2022

MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing.

Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

A Survey on Identity-Based Blind Signature.

Mirko Koscina, Pascal Lafourcade, Gaël Marcadet, Charles Olivier-Anclin, Léo Robert

Proceedings of the Foundations and Practice of Security - 15th International Symposium, 2022

A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking.

Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert

Proceedings of the Applied Cryptography and Network Security, 2022

2021

How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition.

Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone

Theor. Comput. Sci., 2021

Fast Cramer-Shoup Cryptosystem.

Pascal Lafourcade, Léo Robert, Demba Sow

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Card-Based ZKP Protocols for Takuzu and Juosan.

Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone

Proceedings of the 10th International Conference on Fun with Algorithms, 2021

Generic Construction for Identity-Based Proxy Blind Signature.

Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori.

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

Proceedings of the Connecting with Computability, 2021

2020

How to Teach the Undecidability of Malware Detection Problem and Halting Problem.

Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert

Proceedings of the Information Security Education. Information Security in Action, 2020

Physical Zero-Knowledge Proof for Suguru Puzzle.

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2020

Linear Generalized ElGamal Encryption Scheme.

Pascal Lafourcade, Léo Robert, Demba Sow

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

Fast Short and Fast Linear Cramer-Shoup.

Pascal Lafourcade, Léo Robert, Demba Sow

Proceedings of the Foundations and Practice of Security - 13th International Symposium, 2020