LAFOURCADE - Pascal
Toutes les publications (144)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 2026
ART |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Optimal asynchronous perpetual finite grid exploration Theoretical Computer Science - 2026 |
|||
| 2026
COMM |
Karine Altisen, Anaïs Durand, Pascal Lafourcade, Oussama Nahnah
Synthesizing Algorithms to Avoid an Obstacle with a Swarm of Robots ICDCS'26 - 46th IEEE International Conference on Distributed Computing Systems - 2026 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2026
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
77 nuances de couleurs ALGOTEL 2026 — 28es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2026 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2026
COMM |
Karine Altisen, Anaïs Durand, Pascal Lafourcade, Oussama Nahnah
Eviter un obstacle avec des robots lumineux : synthèse d'algorithmes ALGOTEL 2026 — 28es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2026 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2026
COMM |
Osama Allabwani, Olivier Blazy, Pascal Lafourcade, Charles Olivier-Anclin, Olivier Raynaud
Sanitizable Signatures with Different Admissibility Policies for Multiple Sanitizers ACM Asia Conference on Computer and Communications Security (ASIA CCS '26) - 2026 |
Informatique/Cryptographie et sécurité | ||
| 2026
COMM |
Elsa Lopez Perez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Mališa Vučinić
Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+ ACM ASIACCS 2026 - 21st ACM ASIA Conference on Computer and Communications Security - 2026 |
Informatique/Cryptographie et sécurité | ||
| 2026
COMM |
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Shohei Kaneko
When Locality Implies Globality: Card-based ZKP Protocol for Shakashaka Puzzle FUN with algorithms - 2026 |
|||
| 2026
COMM |
Daiki Miyahara, Pascal Lafourcade, Maxime Puys
Card-Based ZKP Protocols for Connectivity-Based Puzzles: Extending to Tree Structures with Application to Nurimeizu International Conference on Fun with Algorithms - 2026 |
|||
| 2026
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
77 Shades of Grey International Conference on Fun with Algorithms - 2026 |
|||
| 2026
REPORT |
Jannik Dreier, Pascal Lafourcade, Yliès Falcone, Gabriele Lenzini
Secure and Verifiable Test and Assessment System project DMP |
Informatique/Cryptographie et sécurité | ||
| 2026
UNDEFINED |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
77 Shades of Grey |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2025
COMM |
Yan Gerard, Pascal Lafourcade, Lola-Baie Mallordy, Léo Robert
Tilepaint and Aquarium Puzzles in Periodic Grids 4th International Conference on Discrete Geometry and Mathematical Morphology-DGMM - 2025 |
|||
| 2025
ART |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Infinite grid exploration with synchronous myopic robots without chirality Discrete Applied Mathematics - 2025 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2025
COMM |
Pascal Lafourcade, Elsa Lopez Perez, Charles Olivier-Anclin, Cristina Onete, Clément Papon, Mališa Vučinić
Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended version ESORICS 2025 - 30th European Symposium on Research in Computer Security - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2025
COMM |
Ayoub Ben Hassen, Dhekra Mahmoud, Pascal Lafourcade, Maxime Puys
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability 20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025) - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2025
COMM |
Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona
Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocol ASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security - 2025 |
|||
| 2025
COMM |
Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher Newton, Tom Chothia, Anna Clee, Andreas Kokkinis, Pascal Lafourcade
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments 34th USENIX Security Symposium 2025 - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2025
COMM |
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization Usenix Security 2025 - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Secure Voting Protocol Using Balance Scale 17th International Symposium on Foundations & Practice of Security (FPS – 2024). - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
ART |
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
ZKP Protocols for Usowan, Herugolf, and Five Cells Tsinghua Science and Technology - 2024 |
|||
| 2024
COUV |
David Gerault, Pascal Lafourcade, Léo Robert
Distance-Bounding Protocols |
Informatique/Intelligence artificielle | ||
| 2024
COMM |
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles Information Security Conference - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Optimal Asynchronous Perpetual Grid Exploration Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024 - 2024 |
Informatique/Algorithme et structure de données | ||
| 2024
COMM |
Xavier Bultel, Charlène Jojon, Pascal Lafourcade
Cryptographic cryptid protocols: How to play cryptid with cheaters CANS 2024 - 23rd International Conference on Cryptology And Network Security - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
PROCEEDINGS |
Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert
Secure Keyless Multi-Party Storage Scheme |
Informatique/Cryptographie et sécurité | ||
| 2024
ART |
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun New Generation Computing - 2024 |
|||
| 2024
COMM |
Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets USENIX-Security 2024 - USENIX Security Symposium - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Pascal Lafourcade, Léo Robert, Gael Marcadet
iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption International Conference on Cryptology in Africa - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Pascal Lafourcade, Dhekra Mahmoud, Gael Marcadet, Charles Olivier-Anclin
Transferable, Auditable and Anonymous Ticketing Protocol 2024 Asia Conference on Information, Computer and Communications Security - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COUV |
Pascal Lafourcade, Gael Marcadet, Léo Robert
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption |
|||
| 2024
COMM |
Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud
Formal Analysis of C-ITS PKI protocols SECRYPT 2024 : International Conference on Information Security and Cryptography - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Antoine Dailly, Pascal Lafourcade, Gael Marcadet
How did they design this game? Swish: complexity and unplayable positions 12th International Conference on Fun with Algorithms (FUN 2024) - 2024 |
Informatique/Mathématique discrète | ||
| 2024
COMM |
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Boris Lonjon
A Unified Symbolic Analysis of WireGuard Usenix Network and Distributed System Security Symposium - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2023
OUV |
Pascal Lafourcade, Malika More, Guenaëlle de Julis
15 énigmes ludiques pour se perfectionner en programmation Python |
|||
| 2023
ART |
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
Perpetual torus exploration by myopic luminous robots Theoretical Computer Science - 2023 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2023
COMM |
Frédéric A Hayek, Pascal Lafourcade, Ariane Tichit
Generic and Universal Local Cryptocurrency: LCoin BRAINS - Conference on Blockchain Research & Applications for Innovative Networks and Services - 2023 |
Sciences de l'homme et de la societe | ||
| 2023
ART |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality Theoretical Computer Science - 2023 |
|||
| 2023
OUV |
Pascal Lafourcade, Cristina Onete
20 énigmes ludiques pour se perfectionner en cryptographie |
|||
| 2023
ART |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical ZKP protocols for Nurimisaki and Kurodoko Theoretical Computer Science - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun IWSEC : International Workshop on Security - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract) Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23} - 2023 |
|||
| 2023
COMM |
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment USENIX 2023 - The 32nd USENIX Security Symposium - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Clémentine Gritti, Frédéric A Hayek, Pascal Lafourcade, Boris Lonjon
Generic Blockchain on Generic Human Behavior SECRYPT 2023 - 2023 |
|||
| 2023
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ? AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2023 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2023
COMM |
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside FC2023 - Twenty-Seventh Financial Cryptography and Data Security Conference - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Frédéric A. Hayek, Mirko Koscina, Pascal Lafourcade, Charles Olivier-Anclin
Generic Privacy Preserving Private Permissioned Blockchains ACM Symposium on Applied Computing - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
ART |
Loïc Crombez, Guilherme da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, da Wei Zheng
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring ACM Journal of Experimental Algorithmics - 2023 |
|||
| 2023
ART |
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits IEEE Transactions on Dependable and Secure Computing - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
ART |
Mamunur Akand, Reihaneh Safavi-Naini, Marc Kneppers, Matthieu Giraud, Pascal Lafourcade
Privacy-Preserving Proof-of-Location With Security Against Geo-Tampering IEEE Transactions on Dependable and Secure Computing - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
ART |
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
ZKP protocols for Usowan, Herugolf and Five Cells Tsinghua Science and Technology - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Etienne Roudeix, Ariane Tichit, Sébastien Varrette, Hyo-Eun Park
NFT 사용설명서 플러스 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Pascal Lafourcade, Gael Marcadet, Léo Robert
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version) ACM Symposium on Applied Computing - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Loïc Crombez, Guilherme D da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Boris Lonjon
Shadoks Approach to Low-Makespan Coordinated Motion Planning ACM Journal of Experimental Algorithmics - 2022 |
|||
| 2022
COMM |
Aisling Ac Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric INDOCRYPT : International Conference on Cryptology in India - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Mirko Koscina, Pascal Lafourcade, Gael Marcadet, Charles Olivier-Anclin, Léo Robert
A Survey on Identity-based Blind Signature The 15th International Symposium on Foundations & Practice of Security (FPS – 2022) - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP Protocol for Nurimisaki Symposium on Stabilization, Safety, and Security of Distributed Systems - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
OUV |
Pascal Lafourcade, Malika More
15 énigmes ludiques pour s'initier à la programmation Python |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems Journal of Computer Security - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Hide a Liar: Card-Based ZKP Protocol for Usowan International Conference on Theory and Applications of Models of Computation - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi
Authentication Attacks on Projection-based Cancelable Biometric Schemes International Conference on Security and Cryptography (SECRYPT) - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
Near-collisions and Their Impact on Biometric Security International Conference on Security and Cryptography (SECRYPT) - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu, Cristina Onete, Léo Robert, Pascal Lafourcade
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking International Conference on Applied Cryptography and Network Security ACNS - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Florian Fontan, Pascal Lafourcade, Luc Libralesso, Benjamin Momège
Local search with weighting schemes for the CG:SHOP 2022 competition 38th International Symposium on Computational Geometry, SoCG - 2022 |
Informatique/Complexité | ||
| 2022
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? FUN : Conference on Fun with Algorithms - 2022 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2022
COMM |
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
Exploration perpétuelle : ça s'en va et ça revient AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2022 |
Informatique/Réseaux et télécommunications | ||
| 2022
ART |
Malika More, Pascal Lafourcade
Comment fonctionnent les bitcoins ? Interstices - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Gael Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, Sihem Amer-Yahia
SAMBA: A System for Secure Federated Multi-Armed Bandits 2022 IEEE 38th International Conference on Data Engineering (ICDE) - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing ACM Symposium on Applied Computing - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
UNDEFINED |
Ariane Tichit, Corentin Elissée, Frédéric Hayek, Pascal Lafourcade
La Blockchain, avenir des monnaies locales ? |
Sciences de l'homme et de la societe | ||
| 2022
ART |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake New Generation Computing - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes International Conference on Practice and Theory in Public Key Cryptography - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits Journal of Artificial Intelligence Research - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure protocols for cumulative reward maximization in stochastic multi-armed bandits Journal of Computer Security - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Etienne Roudeix, Ariane Tichit, Sébastien Varrette
Les NFT en 40 questions |
Informatique/Cryptographie et sécurité | ||
| 2022
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Ariane Tichit, Sébastien Varrette
Les blockchains en 50 questions - 2nd édition |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
Perpetual Torus Exploration by Myopic Luminous Robots Symposium on Stabilization, Safety, and Security of Distributed Systems - 2022 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2022
ART |
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 - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic implementations synthesis of secure protocols and attacks from abstract models Nordic Workshop on Secure IT Systems - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2021
SON |
Pascal Lafourcade
Episode #347 No Limit Sécu about REDOCS 21 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
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 - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon
Automatic Generation of Declarative Models for Differential Cryptanalysis CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
SON |
Pascal Lafourcade
Podcast No Limit Sécu Episode #332 about the book of Pascal Lafourcade 25 énigmes ludiques pour s’initier à la cryptographie |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Cramer-Shoup Cryptosystem 18th International Conference on Security and Cryptography, SECRYPT 2021 - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori Computability in Europe: Logic and Theory of Algorithms - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Loïc Crombez, Guilherme D. da Fonseca, Yan Gérard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Boris Lonjon
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge) 37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference) - 2021 |
Informatique/Géométrie algorithmique | ||
| 2021
COMM |
Stéphane Devismes, Pascal Lafourcade
Un jour sans fin ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2021 |
Informatique/Informatique mobile | ||
| 2021
OUV |
Pascal Lafourcade, Malika More
25 énigmes ludiques pour s'initier à la cryptographie |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality 9th International Conference, NETYS 2021 - 2021 |
Informatique/Réseaux et télécommunications | ||
| 2021
ART |
Victor Bellot, Maxime Cautrès, Jean-Marie Favreau, Milan Gonzalez-Thauvin, Pascal Lafourcade, Kergann Le Cornec, Bastien Mosnier, Samuel Rivière-Wekstein
How to Generate Perfect Mazes? Information Sciences - 2021 |
Informatique/Algorithme et structure de données | ||
| 2021
COMM |
Ioana Boureanu, Constantin Cătălin Drăgan, François Dupressoir, David Gérault, Pascal Lafourcade
Mechanised Models and Proofs for Distance-Bounding IEEE Computer Security Foundations Symposium (was CSFW) - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality International Conference on Distributed Computing and Networking - 2021 |
Informatique/Réseaux et télécommunications | ||
| 2021
ART |
Claudia Ribalta, Marius Lombard-Platet, Camille Salinesi, Pascal Lafourcade
Blockchain Mirage or Silver Bullet? A Requirements-driven Comparative Analysis of Business and Developers' Perceptions in the Accountancy Domain Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
ART |
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition Theoretical Computer Science - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
ART |
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
Design and practical implementation of verify-your-vote protocol Concurrency and Computation: Practice and Experience - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner
Generic Plaintext Equality and Inequality Proofs Financial Cryptography and Data Security Conference - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure Outsourcing of Multi-Armed Bandits 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020) - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Short and Fast Linear Cramer-Shoup Foundations and Practice of Security - 13th International Symposium, FPS - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
Secure Cumulative Reward Maximization in Linear Stochastic Bandits International Conference on Provable and Practical Security (ProvSec) - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
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 - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Pascal Lafourcade
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation International Semantic Web Conference (ISWC) - Demo Track - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
ART |
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Faster Cryptographer's Conspiracy Santa Theoretical Computer Science - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Ariane Tichit
Proof of Behavior 2. Tokenomics Conference on Blockchain Economics, Security and Protocols - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
OTHER |
Séverine Fleury, Pascal Lafourcade, Malika More, Mognos Marianne
TRIER POUR MIEUX COMPARER |
|||
| 2020
ART |
Pascal Lafourcade, Marius Lombard-Platet
About blockchain interoperability Information Processing Letters - 2020 |
|||
| 2020
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Vers l'infini et au delà ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2020 |
Informatique/Réseaux et télécommunications | ||
| 2020
VIDEO |
Pascal Lafourcade
Fonctionnement et appropriation de la Blockchain : des success stories en auvergne. Block4coop |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Hideaki Sone, Léo Robert, Kazumasa Shinagawa, So Takeshige
Card-based ZKP protocols for Takuzu and Juosan Conference on Fun with Algorithms, FUN - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Rose Esmander, Pascal Lafourcade, Marius Lombard-Platet, Claudia Negri Ribalta
A Silver Bullet? A Comparison of Accountants and Developers Mental Models in the Raise of Blockchain In proceedings of the 15th International Conference on Availability, Reliability and Security, ARES - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Patrick Redon
Architectures de sécurité pour Internet |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Pascal Lafourcade, Léo Robert, Demba Sow
Linear Generalized ElGamal Encryption Scheme International Conference on Security and Cryptography (SECRYPT) - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Pascal Lafourcade
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation 34th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (also known as DBSEC) - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COUV |
Jean-Guillaume Dumas, Pascal Lafourcade
Les crypto-monnaies, une réalité virtuelle ? |
Informatique/Cryptographie et sécurité | ||
| 2020
COUV |
Jean-Guillaume Dumas, Pascal Lafourcade
La sécurité de bitcoin et des blockchains |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots Tenth International Conference on Fun with Algorithms (FUN 2020) - 2020 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2020
COMM |
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 - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
VIDEO |
Pascal Lafourcade
La Révolution Blockchain, conférence donnée au festival les Maths dans tous leurs états organisé par l'association les Maths en scène. |
Informatique/Cryptographie et sécurité | ||
| 2020
OTHER |
Matthieu Giraud, Pascal Lafourcade
MISSION CRYPTOGRAPHIE |
|||
| 2020
COMM |
Matthieu Journault, Pascal Lafourcade, Rémy Poulain, Malika More
Une preuve pour le lycée de l'indécidabilité du problème de l'arrêt Didapro 8 – DidaSTIC L’informatique, objets d’enseignements – enjeux épistémologiques, didactique et de formation - 2020 |
|||
| 2020
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots 8th Edition of the International Conference on NETworked and sYStems, NETYS - 2020 |
Informatique/Algorithme et structure de données | ||
| 2020
ART |
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Computing AES related-key differential characteristics with constraint programming Artificial Intelligence (AIJ) - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Manik Lal Das, Hardik Gajera, David Gerault, Matthieu Giraud, Pascal Lafourcade
Verifiable and Private Oblivious Polynomial Evaluation 13th IFIP International Conference on Information Security Theory and Practice (WISTP) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure Best Arm Identification in Multi-Armed Bandits ISPEC 2019 : The 15th International Conference on Information Security Practice and Experience - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Pascal Lafourcade, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix
Security Analysis of Auctionity: a blockchain based e-auction International Symposium on Foundations & Practice of Security FPS 19 - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Pascal Lafourcade, Marius Lombard-Platet
Get-your-ID: Decentralized Proof of Identity International Symposium on Foundations & Practice of Security - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
David Gérault, Pascal Lafourcade
Towards Secure TMIS Protocols International Symposium on Foundations & Practice of Security FPS 2019 - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Jean-Guillaume Dumas, Pascal Lafourcade, Julio Lopez Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm The 14th International Workshop on Security (IWSEC 2019) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
Interactive Physical Zero-Knowledge Proof for Norinori The 25th International Computing and Combinatorics Conference (COCOON 2019) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-voting International Conference on Security and Cryptography (SECRYPT) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Intersection with MapReduce International Conference on Security and Cryptography (SECRYPT) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Strassen-Winograd Matrix Multiplication with MapReduce International Conference on Security and Cryptography (SECRYPT) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure and Efficient Matrix Multiplication with MapReduce SECRYPT/ICETE - Revised Selected Papers - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots 26th International Colloquium, SIROCCO 2019 - 2019 |
Informatique/Réseaux et télécommunications | ||
| 2019
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Brief Announcement: Infinite Grid Exploration by Disoriented Robots 26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019 - 2019 |
Informatique/Robotique | ||
| 2019
COMM |
Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa
Light Cryptography 12th World Conference on Information Security Education WISE 2019, IFIP Working Group 11.8, - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Xavier Bultel, Pascal Lafourcade
Secure Trick-Taking Game Protocols How to Play Online Spades with Cheaters Financial Cryptography and Data Security Conference - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
ART |
Alexandre Anzala-Yamajako, Olivier Bernard, Matthieu Giraud, Pascal Lafourcade
No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption Communications in Computer and Information Science - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
ART |
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
LocalPKI: An Interoperable and IoT Friendly PKI Communications in Computer and Information Science - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain International Colloquium on Theoretical Aspects of Computing - 2019 |
Maths | ||
| 2019
ART |
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and Practically Verifying Flow Integrity Properties in Industrial Systems Computers & Security - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation ISPEC : Information Security Practice and Experience Conference - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Xavier Bultel, Pascal Lafourcade, Russell W F Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda, Krishnan Thyagarajan
Efficient Invisible and Unlinkable Sanitizable Signatures International Conference on Practice and Theory in Public Key Cryptography PKC'19 - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Joins with MapReduce FPS 2018 : The 11th International Symposium on Foundations & Practice of Security - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
Physical Zero-Knowledge Proof for Makaro SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol 15th European Mediterranean and Middle Eastern Conference on Information Systems - 2018 |
Informatique/Cryptographie et sécurité |