Léo Robert
MCF au MIS, Université de Picardie Jules Verne, Amiens, France
19
Documents
Publications
|
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and HeyawakeNew Generation Computing, 2022
Article dans une revue
hal-03542477v1
|
|
Optimal Threshold Padlock SystemsJournal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩
Article dans une revue
hal-03497369v3
|
|
Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆Information and Computation, inPress, ⟨10.1016/j.ic.2021.104858⟩
Article dans une revue
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⟩
Article dans une revue
hal-03419470v1
|
|
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. pp.5917--5934
Communication dans un congrès
hal-03770735v1
|
|
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-SunInternational Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩
Communication dans un congrès
hal-04403702v1
|
|
Hide a Liar: Card-Based ZKP Protocol for UsowanInternational Conference on Theory and Applications of Models of Computation, Sep 2022, Tianjin (China), China. pp.201-217, ⟨10.1007/978-3-031-20350-3_17⟩
Communication dans un congrès
hal-04403799v1
|
|
A Survey on Identity-based Blind SignatureThe 15th International Symposium on Foundations & Practice of Security (FPS – 2022), Dec 2022, Ottawa, Canada
Communication dans un congrès
hal-03934926v1
|
|
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALingACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Communication dans un congrès
hal-03510612v1
|
|
Card-Based ZKP Protocol for NurimisakiSymposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferand, France. pp.285-298, ⟨10.1007/978-3-031-21017-4_19⟩
Communication dans un congrès
hal-04403634v1
|
|
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriComputability in Europe: Logic and Theory of Algorithms, Jul 2021, à distance, Belgium
Communication dans un congrès
hal-03209911v1
|
|
Fast Cramer-Shoup Cryptosystem18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩
Communication dans un congrès
hal-03419423v1
|
|
Generic Construction for Identity-based Proxy Blind SignatureFPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France
Communication dans un congrès
hal-03435956v1
|
|
Fast Short and Fast Linear Cramer-ShoupFoundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France
Communication dans un congrès
hal-03419449v1
|
|
Linear Generalized ElGamal Encryption SchemeInternational Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-03017693v1
|
Card-based ZKP protocols for Takuzu and JuosanConference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Communication dans un congrès
hal-02559600v1
|
|
Design and analysis of provably secure protocols : Applications to messaging and attestationNetworking and Internet Architecture [cs.NI]. Université Clermont Auvergne, 2022. English. ⟨NNT : 2022UCFAC034⟩
Thèse
tel-03982449v1
|