default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascal Lafourcade 0001
Person information
- affiliation: University Clermont Auvergne, Clermont-Ferrand, France
- affiliation: CNRS, UMR, Aubière, France
- affiliation: University Joseph Fourier (UFR IMA), Grenoble, France
Other persons with the same name
- Pascal Lafourcade 0002 — Aldebaran-Robotics, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j42]Samuel D. 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 Gener. Comput. 42(3): 449-477 (2024)- [c135]Pascal Lafourcade, Gaël Marcadet, Léo Robert:
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. AFRICACRYPT 2024: 174-198 - [c134]Pascal Lafourcade, Dhekra Mahmoud, Gaël Marcadet, Charles Olivier-Anclin:
Transferable, Auditable and Anonymous Ticketing Protocol. AsiaCCS 2024 - [c133]Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert:
Secure Keyless Multi-party Storage Scheme. ESORICS (3) 2024: 279-298 - [c132]Antoine Dailly, Pascal Lafourcade, Gaël Marcadet:
How Did They Design This Game? Swish: Complexity and Unplayable Positions. FUN 2024: 10:1-10:19 - [c131]Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault:
A Unified Symbolic Analysis of WireGuard. NDSS 2024 - [c130]Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud:
Formal Analysis of C-ITS PKI Protocols. SECRYPT 2024: 198-210 - [c129]Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud:
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. USENIX Security Symposium 2024 - 2023
- [j41]Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare:
Secure protocols for cumulative reward maximization in stochastic multi-armed bandits. J. Comput. Secur. 31(1): 1-27 (2023) - [j40]Loïc Crombez, Guilherme Dias 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 J. Exp. Algorithmics 28: 1.2:1-1.2:13 (2023) - [j39]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Physical ZKP protocols for Nurimisaki and Kurodoko. Theor. Comput. Sci. 972: 114071 (2023) - [j38]Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade:
Perpetual torus exploration by myopic luminous robots. Theor. Comput. Sci. 976: 114143 (2023) - [j37]Quentin Bramas, Pascal Lafourcade, Stéphane Devismes:
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. Theor. Comput. Sci. 977: 114162 (2023) - [j36]Mamunur Akand, Reihaneh Safavi-Naini, Marc Kneppers, Matthieu Giraud, Pascal Lafourcade:
Privacy-Preserving Proof-of-Location With Security Against Geo-Tampering. IEEE Trans. Dependable Secur. Comput. 20(1): 131-146 (2023) - [j35]Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare:
Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits. IEEE Trans. Dependable Secur. Comput. 20(2): 1378-1389 (2023) - [c128]Frédéric A. Hayek, Pascal Lafourcade, Ariane Tichit:
Generic and Universal Local Cryptocurrency: LCoin. BRAINS 2023: 1-4 - [c127]Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin:
Practical Construction for Secure Trick-Taking Games Even with Cards Set Aside. FC (1) 2023: 166-181 - [c126]Radu Ciucanu, Pascal Lafourcade, Gaël Marcadet, Marta Soare:
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract). IJCAI 2023: 6863-6867 - [c125]Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert:
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. IWSEC 2023: 255-272 - [c124]Gaël Marcadet, Pascal Lafourcade, Léo Robert:
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. SAC 2023: 1558-1565 - [c123]Frédéric A. Hayek, Mirko Koscina, Pascal Lafourcade, Charles Olivier-Anclin:
Generic Privacy Preserving Private Permissioned Blockchains. SAC 2023: 1585-1592 - [c122]Clémentine Gritti, Frédéric A. Hayek, Pascal Lafourcade:
Generic Blockchain on Generic Human Behavior. SECRYPT 2023: 206-217 - [c121]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 Security Symposium 2023: 5917-5934 - [p2]Murat Moran, Pascal Lafourcade, Maxime Puys, David Williams:
An Introduction to Tools for Formal Analysis of Cryptographic Protocols. Handb. Formal Anal. Verification Cryptogr. 2023: 105-152 - [i37]Loïc Crombez, Guilherme Dias 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. CoRR abs/2303.09632 (2023) - [i36]Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert:
The Calissons Puzzle. CoRR abs/2307.02475 (2023) - [i35]Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin:
Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside. IACR Cryptol. ePrint Arch. 2023: 309 (2023) - [i34]Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert:
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. IACR Cryptol. ePrint Arch. 2023: 1560 (2023) - 2022
- [j34]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki:
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. Inf. Comput. 285(Part): 104858 (2022) - [j33]Radu Ciucanu, Pascal Lafourcade, Gaël Marcadet, Marta Soare:
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits. J. Artif. Intell. Res. 73: 737-765 (2022) - [j32]Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert:
Optimal threshold padlock systems. J. Comput. Secur. 30(5): 655-688 (2022) - [j31]Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso:
Shadoks Approach to Low-Makespan Coordinated Motion Planning. ACM J. Exp. Algorithmics 27: 3.2:1-3.2:17 (2022) - [j30]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake. New Gener. Comput. 40(1): 149-171 (2022) - [c120]Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert:
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking. ACNS 2022: 399-418 - [c119]Florian Fontan, Pascal Lafourcade, Luc Libralesso, Benjamin Momège:
Local Search with Weighting Schemes for the CG: SHOP 2022 Competition (CG Challenge). SoCG 2022: 73:1-73:6 - [c118]Mirko Koscina, Pascal Lafourcade, Gaël Marcadet, Charles Olivier-Anclin, Léo Robert:
A Survey on Identity-Based Blind Signature. FPS 2022: 19-37 - [c117]Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani:
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? FUN 2022: 7:1-7:21 - [c116]Gaël Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, Sihem Amer-Yahia:
Samba: A System for Secure Federated Multi-Armed Bandits. ICDE 2022: 3154-3157 - [c115]Aisling Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner:
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric. INDOCRYPT 2022: 249-271 - [c114]Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson:
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. NordSec 2022: 234-252 - [c113]Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner:
Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence Classes. Public Key Cryptography (1) 2022: 409-438 - [c112]Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert:
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing. SAC 2022: 1666-1673 - [c111]Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi:
Near-collisions and Their Impact on Biometric Security. SECRYPT 2022: 382-389 - [c110]Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi:
Authentication Attacks on Projection-based Cancelable Biometric Schemes. SECRYPT 2022: 568-573 - [c109]Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade:
Perpetual Torus Exploration by Myopic Luminous Robots. SSS 2022: 164-177 - [c108]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Card-Based ZKP Protocol for Nurimisaki. SSS 2022: 285-298 - [c107]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Hide a Liar: Card-Based ZKP Protocol for Usowan. TAMC 2022: 201-217 - [i33]Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi:
Near-collisions and their Impact on Biometric Security (long). CoRR abs/2205.04229 (2022) - [i32]Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert:
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing. IACR Cryptol. ePrint Arch. 2022: 486 (2022) - [i31]Aisling Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner:
Protego: A Credential Scheme for Permissioned Blockchains (Extended Version). IACR Cryptol. ePrint Arch. 2022: 661 (2022) - [i30]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. IACR Cryptol. ePrint Arch. 2022: 1090 (2022) - [i29]Pascal Lafourcade, Gaël Marcadet, Léo Robert:
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version). IACR Cryptol. ePrint Arch. 2022: 1748 (2022) - 2021
- [j29]Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
Design and practical implementation of verify-your-vote protocol. Concurr. Comput. Pract. Exp. 33(1) (2021) - [j28]V. Bellot, Maxime Cautrès, Jean-Marie Favreau, M. Gonzalez-Thauvin, Pascal Lafourcade, Kergann Le Cornec, B. Mosnier, S. Rivière-Wekstein:
How to generate perfect mazes? Inf. Sci. 572: 444-459 (2021) - [j27]Claudia Negri 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. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12(1): 85-110 (2021) - [j26]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. Theor. Comput. Sci. 888: 41-55 (2021) - [c106]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. CiE 2021: 373-384 - [c105]Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso:
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge). SoCG 2021: 63:1-63:9 - [c104]Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon:
Automatic Generation of Declarative Models For Differential Cryptanalysis. CP 2021: 40:1-40:18 - [c103]Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade:
Mechanised Models and Proofs for Distance-Bounding. CSF 2021: 1-16 - [c102]Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner:
Generic Plaintext Equality and Inequality Proofs. Financial Cryptography (1) 2021: 415-435 - [c101]Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert:
Generic Construction for Identity-Based Proxy Blind Signature. FPS 2021: 34-52 - [c100]Quentin Bramas, Pascal Lafourcade, Stéphane Devismes:
Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. FUN 2021: 6:1-6:19 - [c99]Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone:
Card-Based ZKP Protocols for Takuzu and Juosan. FUN 2021: 20:1-20:21 - [c98]Quentin Bramas, Pascal Lafourcade, Stéphane Devismes:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality. ICDCN 2021: 76-85 - [c97]Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. NETYS 2021: 95-110 - [c96]Pascal Lafourcade, Léo Robert, Demba Sow:
Fast Cramer-Shoup Cryptosystem. SECRYPT 2021: 766-771 - [p1]Gildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke, Pascal Lafourcade, Cristina Onete:
From Relay Attacks to Distance-Bounding Protocols. Security of Ubiquitous Computing Systems 2021: 113-130 - [i28]Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso:
Shadoks Approach to Low-Makespan Coordinated Motion Planning. CoRR abs/2103.13956 (2021) - [i27]Axel Durbet, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi, Paul-Marie Grollemund:
Authentication Attacks on Projection-based Cancelable Biometric Schemes. CoRR abs/2110.15163 (2021) - [i26]Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner:
Generic Plaintext Equality and Inequality Proofs (Extended Version). IACR Cryptol. ePrint Arch. 2021: 426 (2021) - [i25]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. IACR Cryptol. ePrint Arch. 2021: 556 (2021) - [i24]Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert:
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking. IACR Cryptol. ePrint Arch. 2021: 1487 (2021) - [i23]Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner:
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes. IACR Cryptol. ePrint Arch. 2021: 1680 (2021) - 2020
- [j25]David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon:
Computing AES related-key differential characteristics with constraint programming. Artif. Intell. 278 (2020) - [j24]Pascal Lafourcade, Marius Lombard-Platet:
About blockchain interoperability. Inf. Process. Lett. 161: 105976 (2020) - [j23]Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
A faster cryptographer's Conspiracy Santa. Theor. Comput. Sci. 839: 122-134 (2020) - [c95]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. ARES 2020: 83:1-83:10 - [c94]Radu Ciucanu, Pascal Lafourcade:
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. DBSec 2020: 347-366 - [c93]Pascal Lafourcade, Léo Robert, Demba Sow:
Fast Short and Fast Linear Cramer-Shoup. FPS 2020: 121-136 - [c92]Pascal Lafourcade, Léo Robert, Demba Sow:
Linear Generalized ElGamal Encryption Scheme. ICETE (2) 2020: 372-379 - [c91]Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Infinite Grid Exploration by Disoriented Robots. NETYS 2020: 129-145 - [c90]Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare:
Secure Cumulative Reward Maximization in Linear Stochastic Bandits. ProvSec 2020: 257-277 - [c89]Radu Ciucanu, Pascal Lafourcade:
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. ISWC (Demos/Industry) 2020: 1-6 - [c88]Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Physical Zero-Knowledge Proof for Suguru Puzzle. SSS 2020: 235-247 - [c87]Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Ariane Tichit:
Proof of Behavior (Short Paper). Tokenomics 2020: 11:1-11:6 - [c86]Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare:
Secure Outsourcing of Multi-Armed Bandits. TrustCom 2020: 202-209 - [c85]Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert:
How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE 2020: 159-169 - [i22]Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert:
Optimal Threshold Padlock Systems. CoRR abs/2004.11552 (2020) - [i21]Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
A Faster Cryptographer's Conspiracy Santa. CoRR abs/2005.09244 (2020) - [i20]Demba Sow, Léo Robert, Pascal Lafourcade:
Linear Generalized ElGamal Encryption Scheme. IACR Cryptol. ePrint Arch. 2020: 496 (2020) - [i19]Pascal Lafourcade, Marius Lombard-Platet:
About Blockchain Interoperability. IACR Cryptol. ePrint Arch. 2020: 643 (2020) - [i18]Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade:
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. IACR Cryptol. ePrint Arch. 2020: 1000 (2020)
2010 – 2019
- 2019
- [j22]Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch:
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86: 453-470 (2019) - [c84]Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone:
Interactive Physical Zero-Knowledge Proof for Norinori. COCOON 2019: 166-177 - [c83]Xavier Bultel, Pascal Lafourcade:
Secure Trick-Taking Game Protocols - How to Play Online Spades with Cheaters. Financial Cryptography 2019: 265-281 - [c82]Pascal Lafourcade, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix:
Security Analysis of Auctionity: A Blockchain Based E-Auction. FPS 2019: 290-307 - [c81]Pascal Lafourcade, Marius Lombard-Platet:
Get-your-ID: Decentralized Proof of Identity. FPS 2019: 327-336 - [c80]David Gérault, Pascal Lafourcade:
Towards Secure TMIS Protocols. FPS 2019: 337-344 - [c79]Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure and Efficient Matrix Multiplication with MapReduce. ICETE (Selected Papers) 2019: 132-156 - [c78]Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Strassen-Winograd Matrix Multiplication with MapReduce. ICETE (2) 2019: 220-227 - [c77]Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-Voting. ICETE (2) 2019: 228-235 - [c76]Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Intersection with MapReduce. ICETE (2) 2019: 236-243 - [c75]Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. ICTAC 2019: 292-312 - [c74]Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa:
Light Cryptography. World Conference on Information Security Education 2019: 89-101 - [c73]Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone:
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation. ISPEC 2019: 135-151 - [c72]Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare:
Secure Best Arm Identification in Multi-armed Bandits. ISPEC 2019: 152-171 - [c71]Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys:
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. IWSEC 2019: 67-88 - [c70]Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan:
Efficient Invisible and Unlinkable Sanitizable Signatures. Public Key Cryptography (1) 2019: 159-189 - [c69]Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Infinite Grid Exploration by Disoriented Robots. SIROCCO 2019: 340-344 - [c68]Hardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade:
Verifiable and Private Oblivious Polynomial Evaluation. WISTP 2019: 49-65 - [i17]Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Infinite Grid Exploration by Disoriented Robots. CoRR abs/1905.09271 (2019) - [i16]Xavier Bultel, Pascal Lafourcade:
Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters. IACR Cryptol. ePrint Arch. 2019: 375 (2019) - [i15]