Skip to Main content
Number of documents

13

PhD student


Journal articles3 documents

  • Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki. Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆. Information and Computation, Elsevier, In press, ⟨10.1016/j.ic.2021.104858⟩. ⟨hal-03542495⟩
  • Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, et al.. How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition. Theoretical Computer Science, Elsevier, 2021, 888, pp.41 - 55. ⟨10.1016/j.tcs.2021.07.019⟩. ⟨hal-03419470⟩
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert. Optimal Threshold Padlock Systems. Journal of Computer Security, IOS Press, In press, pp.1-34. ⟨10.3233/JCS-210065⟩. ⟨hal-03497369v3⟩

Conference papers9 documents

  • Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, et al.. MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing. SAC 2022 - 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩. ⟨hal-03510612⟩
  • Pascal Lafourcade, Léo Robert, Demba Sow. Fast Cramer-Shoup Cryptosystem. 18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩. ⟨hal-03419423⟩
  • Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki. Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. CiE, Jul 2021, à distance, Belgium. ⟨hal-03209911⟩
  • Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert. Generic Construction for Identity-based Proxy Blind Signature. FPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France. ⟨hal-03435956⟩
  • Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki. Physical Zero-Knowledge Proof for Suguru Puzzle. 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States. ⟨hal-03017693⟩
  • Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Hideaki Sone, et al.. Card-based ZKP protocols for Takuzu and Juosan. In 10th International Conference on Fun with Algorithms (FUN), Sep 2020, Island of Favignana, Trapani, Italy. ⟨hal-02559600⟩
  • Pascal Lafourcade, Léo Robert, Demba Sow. Linear Generalized ElGamal Encryption Scheme. International Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France. ⟨hal-02559556⟩
  • Pascal Lafourcade, Léo Robert, Demba Sow. Fast Short and Fast Linear Cramer-Shoup. Foundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France. ⟨hal-03419449⟩
  • Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert. How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia. ⟨hal-02559585⟩

Preprints, Working Papers, ...1 document

  • Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki. Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake *. In press. ⟨hal-03542477⟩