
Léo Robert
MCF au MIS, Université de Picardie Jules Verne, Amiens, France
31
Documents
Publications
Publications
|
iUC-Secure Distributed File Transfer From Standard Attribute-based EncryptionInternational Conference on Cryptology in Africa, Jul 2024, Douala, Cameroon
Communication dans un congrès
hal-04620459
v1
|
|
Secure Keyless Multi-Party Storage SchemeESORICS : European Symposium On Research In Computer Security, Sep 2024, Bydgoszcz, Poland. pp.279-298, ⟨10.1007/978-3-031-70896-1_14⟩
Communication dans un congrès
hal-04540895
v1
|
|
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-03770735
v1
|
|
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)ACM Symposium on Applied Computing, 2023, Tallinn, Estonia
Communication dans un congrès
hal-03909382
v1
|
|
Towards a Privacy-preserving Attestation for Virtualized Networks28th European Symposium on Research in Computer Security, Sep 2023, La Haye, Netherlands
Communication dans un congrès
hal-04243661
v1
|
|
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-SunIWSEC : International Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩
Communication dans un congrès
hal-04403702
v1
|
|
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-03510612
v1
|
|
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-03934926
v1
|
|
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-04403799
v1
|
|
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-LinkingInternational Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy
Communication dans un congrès
hal-03450625
v1
|
|
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-04403634
v1
|
|
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-03209911
v1
|
|
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-03419423
v1
|
|
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-03435956
v1
|
|
Linear Generalized ElGamal Encryption SchemeInternational Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France
Communication dans un congrès
hal-02559556
v1
|
|
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-02559585
v1
|
|
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-03419449
v1
|
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-02559600
v1
|
|
|
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-03017693
v1
|
iUC-Secure Distributed File Transfer from Standard Attribute-Based EncryptionSerge Vaudenay; Christophe Petit. Progress in Cryptology - AFRICACRYPT 2024, 14861, Springer Nature Switzerland, pp.174-198, 2024, Lecture Notes in Computer Science, 978-3-031-64380-4. ⟨10.1007/978-3-031-64381-1_8⟩
Chapitre d'ouvrage
hal-04702513
v1
|
|
Distance-Bounding ProtocolsLéo Mendiboure (dir.). Cooperative Intelligent Transport Systems, Wiley, pp.273-293, 2024, 9781394325849. ⟨10.1002/9781394325849.ch11⟩
Chapitre d'ouvrage
hal-05017782
v1
|
|
Towards a Privacy-Preserving Attestation for Virtualized NetworksComputer Security – ESORICS 2023, 14347, Springer Nature Switzerland, pp.351-370, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-51482-1_18⟩
Chapitre d'ouvrage
hal-04515129
v1
|
|
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-03982449
v1
|
Chargement...
Chargement...