Access content directly

Léo Robert

Assistant Professor at MIS, University of Picardy Jules Verne
27
Documents

Publications

Image document

Secure Keyless Multi-Party Storage Scheme

Pascal Lafourcade , Lola-Baie Mallordy , Charles Olivier-Anclin , Léo Robert
ESORICS : European Symposium On Research In Computer Security, Sep 2024, Bydgoszcz, Poland
Conference papers hal-04540895v1
Image document

iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption

Pascal Lafourcade , Léo Robert , Gael Marcadet
International Conference on Cryptology in Africa, Jul 2024, Douala, Cameroon
Conference papers hal-04620459v1
Image document

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

Samuel Hand , Alexander Koch , Pascal Lafourcade , Daiki Miyahara , Léo Robert
IWSEC : International Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩
Conference papers hal-04403702v1
Image document

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

Pascal Lafourcade , Gael Marcadet , Léo Robert
ACM Symposium on Applied Computing, 2023, Tallinn, Estonia
Conference papers hal-03909382v1
Image document

Towards a Privacy-preserving Attestation for Virtualized Networks

Ghada Arfaoui , Thibaut Jacques , Marc Antoine Lacoste , Cristina Onete , Léo Robert
28th European Symposium on Research in Computer Security, Sep 2023, La Haye, Netherlands
Conference papers hal-04243661v1
Image document

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
USENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States. pp.5917--5934
Conference papers hal-03770735v1
Image document

Card-Based ZKP Protocol for Nurimisaki

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferand, France. pp.285-298, ⟨10.1007/978-3-031-21017-4_19⟩
Conference papers hal-04403634v1
Image document

A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking

Ghada Arfaoui , Pierre-Alain Fouque , Thibaut Jacques , Adina Nedelcu , Cristina Onete
International Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy
Conference papers hal-03450625v1
Image document

Hide a Liar: Card-Based ZKP Protocol for Usowan

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
International 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⟩
Conference papers hal-04403799v1
Image document

A Survey on Identity-based Blind Signature

Mirko Koscina , Pascal Lafourcade , Gael Marcadet , Charles Olivier-Anclin , Léo Robert
The 15th International Symposium on Foundations & Practice of Security (FPS – 2022), Dec 2022, Ottawa, Canada
Conference papers hal-03934926v1
Image document

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing

Olivier Blazy , Pierre-Alain Fouque , Thibaut Jacques , Pascal Lafourcade , Cristina Onete
ACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Conference papers hal-03510612v1
Image document

Generic Construction for Identity-based Proxy Blind Signature

Xavier Bultel , Pascal Lafourcade , Charles Olivier-Anclin , Léo Robert
FPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France
Conference papers hal-03435956v1
Image document

Fast Cramer-Shoup Cryptosystem

Pascal Lafourcade , Léo Robert , Demba Sow
18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩
Conference papers hal-03419423v1
Image document

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
Computability in Europe: Logic and Theory of Algorithms, Jul 2021, à distance, Belgium
Conference papers hal-03209911v1

Card-based ZKP protocols for Takuzu and Juosan

Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Atsuki Nagao , Hideaki Sone
Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Conference papers hal-02559600v1
Image document

Linear Generalized ElGamal Encryption Scheme

Pascal Lafourcade , Léo Robert , Demba Sow
International Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France
Conference papers hal-02559556v1
Image document

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

Matthieu Journault , Pascal Lafourcade , Malika More , Rémy Poulain , Léo Robert
WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia
Conference papers hal-02559585v1
Image document

Physical Zero-Knowledge Proof for Suguru Puzzle

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States
Conference papers hal-03017693v1
Image document

Fast Short and Fast Linear Cramer-Shoup

Pascal Lafourcade , Léo Robert , Demba Sow
Foundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France
Conference papers hal-03419449v1

Towards a Privacy-Preserving Attestation for Virtualized Networks

Ghada Arfaoui , Thibaut Jacques , Marc Lacoste , Cristina Onete , Léo Robert
Computer Security – ESORICS 2023, 14347, Springer Nature Switzerland, pp.351-370, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-51482-1_18⟩
Book sections hal-04515129v1
Image document

Design and analysis of provably secure protocols : Applications to messaging and attestation

Léo Robert
Networking and Internet Architecture [cs.NI]. Université Clermont Auvergne, 2022. English. ⟨NNT : 2022UCFAC034⟩
Theses tel-03982449v1