Léo Robert
16
Documents
Publications
|
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and HeyawakeNew Generation Computing, 2022
Journal articles
hal-03542477v1
|
|
Optimal Threshold Padlock SystemsJournal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩
Journal articles
hal-03497369v3
|
|
Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆Information and Computation, inPress, ⟨10.1016/j.ic.2021.104858⟩
Journal articles
hal-03542495v1
|
|
How to construct physical zero-knowledge proofs for puzzles with a “single loop” conditionTheoretical Computer Science, 2021, 888, pp.41 - 55. ⟨10.1016/j.tcs.2021.07.019⟩
Journal articles
hal-03419470v1
|
|
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishmentUsenix Security Symposium, Aug 2023, Anaheim, United States
Conference papers
hal-03770735v1
|
|
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishmentUSENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Conference papers
hal-03815803v1
|
|
Hide a Liar: Card-Based ZKP Protocol for UsowanThe 17th Annual Conference on Theory and Applications of Models of Computation TAMC 2022, Sep 2022, Tianjin, China
Conference papers
hal-03767892v1
|
|
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALingThe 37th ACM/SIGAPP Symposium on Applied Computing, SAC (2022), Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Conference papers
hal-03510612v1
|
|
Fast Cramer-Shoup Cryptosystem18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩
Conference papers
hal-03419423v1
|
|
Generic Construction for Identity-based Proxy Blind SignatureFPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France
Conference papers
hal-03435956v1
|
|
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriComputability in Europe Conference (CiE), Jul 2021, à distance, Belgium
Conference papers
hal-03209911v1
|
|
Fast Short and Fast Linear Cramer-ShoupFoundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France
Conference papers
hal-03419449v1
|
Card-based ZKP protocols for Takuzu and JuosanConference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Conference papers
hal-02559600v1
|
|
|
Linear Generalized ElGamal Encryption SchemeInternational Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France
Conference papers
hal-02559556v1
|
|
How to Teach the Undecidability of Malware Detection Problem and Halting ProblemWISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia
Conference papers
hal-02559585v1
|
|
Physical Zero-Knowledge Proof for Suguru Puzzle22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States
Conference papers
hal-03017693v1
|