Pascal Lafourcade 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 150

2024

Transferable, Auditable and Anonymous Ticketing ProtocolPascal Lafourcade 0001, Dhekra Mahmoud, Gaël Marcadet, Charles Olivier-Anclin. AsiaCCS 2024: [doi]

How Did They Design This Game? Swish: Complexity and Unplayable PositionsAntoine Dailly, Pascal Lafourcade 0001, Gaël Marcadet. fun 2024: [doi]

Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-NetsJannik Dreier, Pascal Lafourcade 0001, Dhekra Mahmoud. uss 2024: [doi]

2023

Privacy-Preserving Proof-of-Location With Security Against Geo-TamperingMamunur Akand, Reihaneh Safavi-Naini, Marc Kneppers, Matthieu Giraud, Pascal Lafourcade 0001. tdsc, 20(1):131-146, 2023. [doi]

Practical Construction for Secure Trick-Taking Games Even with Cards Set AsideRohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade 0001, Charles Olivier-Anclin. fc 2024: 166-181 [doi]

Practical Construction for Secure Trick-Taking Games Even With Cards Set AsideRohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade 0001, Charles Olivier-Anclin. iacr, 2023:309, 2023. [doi]

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishmentOlivier Blazy, Ioana Boureanu, Pascal Lafourcade 0001, Cristina Onete, Léo Robert. uss 2023: 5917-5934 [doi]

Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chiralityQuentin Bramas, Pascal Lafourcade 0001, Stéphane Devismes. TCS, 977:114162, October 2023. [doi]

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract)Radu Ciucanu, Pascal Lafourcade 0001, Gael Marcadet, Marta Soare. IJCAI 2023: 6863-6867 [doi]

Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed BanditsRadu Ciucanu, Anatole Delabrouille, Pascal Lafourcade 0001, Marta Soare. tdsc, 20(2):1378-1389, March - April 2023. [doi]

Secure protocols for cumulative reward maximization in stochastic multi-armed banditsRadu Ciucanu, Pascal Lafourcade 0001, Marius Lombard-Platet, Marta Soare. jcs, 31(1):1-27, 2023. [doi]

Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph ColoringLoïc Crombez, Guilherme Dias da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade 0001, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, Da-Wei Zheng. jea, 28, December 2023. [doi]

Perpetual torus exploration by myopic luminous robotsOmar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade 0001. TCS, 976:114143, October 2023. [doi]

Generic Blockchain on Generic Human BehaviorClémentine Gritti, Frédéric A. Hayek, Pascal Lafourcade 0001. secrypt 2023: 206-217 [doi]

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-SunSamuel Hand, Alexander Koch 0001, Pascal Lafourcade 0001, Daiki Miyahara, Léo Robert. IWSEC 2023: 255-272 [doi]

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-SunSamuel Hand, Alexander Koch 0001, Pascal Lafourcade 0001, Daiki Miyahara, Léo Robert. iacr, 2023:1560, 2023. [doi]

Generic Privacy Preserving Private Permissioned BlockchainsFrederic A. Hayek, Mirko Koscina, Pascal Lafourcade 0001, Charles Olivier-Anclin. SAC 2023: 1585-1592 [doi]

Generic and Universal Local Cryptocurrency: LCoinFrédéric A. Hayek, Pascal Lafourcade 0001, Ariane Tichit. brains 2023: 1-4 [doi]

RMC-PVC: A Multi-Client Reusable Verifiable Computation ProtocolGael Marcadet, Pascal Lafourcade 0001, Léo Robert. SAC 2023: 1558-1565 [doi]

An Introduction to Tools for Formal Analysis of Cryptographic ProtocolsMurat Moran, Pascal Lafourcade 0001, Maxime Puys, David Williams. In Sedat Akleylek, Besik Dundua, editors, Handbook of Formal Analysis and Verification in Cryptography. pages 105-152, CRC Press, 2023. [doi]

Physical ZKP protocols for Nurimisaki and KurodokoLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki. TCS, 972:114071, September 2023. [doi]

2022

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)Pascal Lafourcade 0001, Gael Marcadet, Léo Robert. iacr, 2022:1748, 2022. [doi]

Faster Non-interactive Verifiable ComputingPascal Lafourcade 0001, Gael Marcadet, Léo Robert. iacr, 2022:646, 2022. [doi]

A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-LinkingGhada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade 0001, Adina Nedelcu, Cristina Onete, Léo Robert. acns 2022: 399-418 [doi]

MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALingOlivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade 0001, Cristina Onete, Léo Robert. SAC 2022: 1666-1673 [doi]

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALingOlivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade 0001, Cristina Onete, Léo Robert. iacr, 2022:486, 2022. [doi]

Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade 0001, Anissa Lamani. fun 2022: [doi]

SAMBA: A Generic Framework for Secure Federated Multi-Armed BanditsRadu Ciucanu, Pascal Lafourcade 0001, Gael Marcadet, Marta Soare. jair, 73:737-765, 2022. [doi]

Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence ClassesAisling Connolly, Pascal Lafourcade 0001, Octavio Perez-Kempner. pkc 2022: 409-438 [doi]

Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger FabricAisling Connolly, Jérôme Deschamps, Pascal Lafourcade 0001, Octavio Perez-Kempner. indocrypt 2022: 249-271 [doi]

Protego: A Credential Scheme for Permissioned Blockchains (Extended Version)Aisling Connolly, Jerome Deschamps, Pascal Lafourcade 0001, Octavio Perez-Kempner. iacr, 2022:661, 2022. [doi]

Shadoks Approach to Low-Makespan Coordinated Motion PlanningLoïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade 0001, Luc Libralesso. jea, 27, 2022. [doi]

Perpetual Torus Exploration by Myopic Luminous RobotsOmar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade 0001. sss 2022: 164-177 [doi]

Optimal threshold padlock systemsJannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade 0001, Léo Robert. jcs, 30(5):655-688, 2022. [doi]

Near-collisions and Their Impact on Biometric SecurityAxel Durbet, Paul-Marie Grollemund, Pascal Lafourcade 0001, Kevin Thiry-Atighehchi. secrypt 2022: 382-389 [doi]

Authentication Attacks on Projection-based Cancelable Biometric SchemesAxel Durbet, Paul-Marie Grollemund, Pascal Lafourcade 0001, Denis Migdal, Kevin Thiry-Atighehchi. secrypt 2022: 568-573 [doi]

Local Search with Weighting Schemes for the CG: SHOP 2022 Competition (CG Challenge)Florian Fontan, Pascal Lafourcade 0001, Luc Libralesso, Benjamin Momège. compgeom 2022: [doi]

A Survey on Identity-Based Blind SignatureMirko Koscina, Pascal Lafourcade 0001, Gael Marcadet, Charles Olivier-Anclin, Léo Robert. fps 2023: 19-37 [doi]

Samba: A System for Secure Federated Multi-Armed BanditsGael Marcadet, Radu Ciucanu, Pascal Lafourcade 0001, Marta Soare, Sihem Amer-Yahia. icde 2022: 3154-3157 [doi]

Hide a Liar: Card-Based ZKP Protocol for UsowanLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki. tamc 2022: 201-217 [doi]

Card-Based ZKP Protocol for NurimisakiLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki. sss 2022: 285-298 [doi]

Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and HeyawakeLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki. ngc, 40(1):149-171, 2022. [doi]

Physical zero-knowledge proof and NP-completeness proof of Suguru puzzleLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Luc Libralesso, Takaaki Mizuki. iandc, 285(Part):104858, 2022. [doi]

Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract ModelsCamille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade 0001, Thibault Franco-Rondisson. nordsec 2022: 234-252 [doi]

2021

Fast Cramer-Shoup CryptosystemPascal Lafourcade 0001, Léo Robert, Demba Sow. secrypt 2021: 766-771 [doi]

How to construct physical zero-knowledge proofs for puzzles with a "single loop" conditionPascal Lafourcade 0001, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone. TCS, 888:41-55, 2021. [doi]

A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-LinkingGhada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade 0001, Adina Nedelcu, Cristina Onete, Léo Robert. iacr, 2021:1487, 2021. [doi]

From Relay Attacks to Distance-Bounding ProtocolsGildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke 0002, Pascal Lafourcade 0001, Cristina Onete. In Gildas Avoine, Julio Hernandez-Castro, editors, Security of Ubiquitous Computing Systems. pages 113-130, Springer International Publishing, 2021. [doi]

How to generate perfect mazes?V. Bellot, M. Cautrès, J.-M. Favreau, M. Gonzalez-Thauvin, Pascal Lafourcade 0001, Kergann Le Cornec, B. Mosnier, S. Rivière-Wekstein. isci, 572:444-459, 2021. [doi]

Generic Plaintext Equality and Inequality ProofsOlivier Blazy, Xavier Bultel, Pascal Lafourcade 0001, Octavio Perez-Kempner. fc 2021: 415-435 [doi]

Generic Plaintext Equality and Inequality Proofs (Extended Version)Olivier Blazy, Xavier Bultel, Pascal Lafourcade 0001, Octavio Perez-Kempner. iacr, 2021:426, 2021. [doi]

Mechanised Models and Proofs for Distance-BoundingIoana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade 0001. csfw 2021: 1-16 [doi]

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common ChiralityQuentin Bramas, Pascal Lafourcade 0001, Stéphane Devismes. icdcn 2021: 76-85 [doi]

Finding Water on Poleless Using Melomaniac Myopic Chameleon RobotsQuentin Bramas, Pascal Lafourcade 0001, Stéphane Devismes. fun 2020: [doi]

Generic Construction for Identity-Based Proxy Blind SignatureXavier Bultel, Pascal Lafourcade 0001, Charles Olivier-Anclin, Léo Robert. fps 2022: 34-52 [doi]

Design and practical implementation of verify-your-vote protocolMarwa Chaieb, Souheib Yousfi, Pascal Lafourcade 0001, Riadh Robbana. concurrency, 33(1), 2021. [doi]

Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence ClassesAisling Connolly, Pascal Lafourcade 0001, Octavio Perez-Kempner. iacr, 2021:1680, 2021. [doi]

Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade 0001, Luc Libralesso. compgeom 2021: [doi]

Automatic Generation of Declarative Models For Differential CryptanalysisLuc Libralesso, François Delobel, Pascal Lafourcade 0001, Christine Solnon. cp 2021: [doi]

Card-Based ZKP Protocols for Takuzu and JuosanDaiki Miyahara, Léo Robert, Pascal Lafourcade 0001, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone. fun 2020: [doi]

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common ChiralityArthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001, Anissa Lamani. netys 2021: 95-110 [doi]

Blockchain Mirage or Silver Bullet? A Requirements-driven Comparative Analysis of Business and Developers' Perceptions in the Accountancy DomainClaudia Negri Ribalta, Marius Lombard-Platet, Camille Salinesi, Pascal Lafourcade 0001. jowua, 12(1):85-110, 2021. [doi]

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki. CiE 2021: 373-384 [doi]

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki. iacr, 2021:556, 2021. [doi]

2020

Linear Generalized ElGamal Encryption SchemePascal Lafourcade 0001, Léo Robert, Demba Sow. icete 2020: 372-379 [doi]

Fast Short and Fast Linear Cramer-ShoupPascal Lafourcade 0001, Léo Robert, Demba Sow. fps 2021: 121-136 [doi]

About Blockchain InteroperabilityPascal Lafourcade 0001, Marius Lombard-Platet. iacr, 2020:643, 2020. [doi]

About blockchain interoperabilityPascal Lafourcade 0001, Marius Lombard-Platet. ipl, 161:105976, 2020. [doi]

Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless PaymentsIoana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gerault, Pascal Lafourcade 0001. iacr, 2020:1000, 2020. [doi]

Infinite Grid Exploration by Disoriented RobotsQuentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001. netys 2021: 129-145 [doi]

A faster cryptographer's Conspiracy SantaXavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade 0001. TCS, 839:122-134, 2020. [doi]

Secure Cumulative Reward Maximization in Linear Stochastic BanditsRadu Ciucanu, Anatole Delabrouille, Pascal Lafourcade 0001, Marta Soare. provsec 2020: 257-277 [doi]

Secure Outsourcing of Multi-Armed BanditsRadu Ciucanu, Pascal Lafourcade 0001, Marius Lombard-Platet, Marta Soare. trustcom 2020: 202-209 [doi]

Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL EvaluationRadu Ciucanu, Pascal Lafourcade 0001. semweb 2020: 1-6 [doi]

GOOSE: A Secure Framework for Graph Outsourcing and SPARQL EvaluationRadu Ciucanu, Pascal Lafourcade 0001. dbsec 2020: 347-366 [doi]

A silver bullet?: a comparison of accountants and developers mental models in the raise of blockchainRose Esmander, Pascal Lafourcade 0001, Marius Lombard-Platet, Claudia Negri Ribalta. IEEEares 2020: [doi]

Computing AES related-key differential characteristics with constraint programmingDavid Gerault, Pascal Lafourcade 0001, Marine Minier, Christine Solnon. ai, 278, 2020. [doi]

Proof of Behavior (Short Paper)Paul-Marie Grollemund, Pascal Lafourcade 0001, Kevin Thiry-Atighehchi, Ariane Tichit. tokenomics 2021: [doi]

How to Teach the Undecidability of Malware Detection Problem and Halting ProblemMatthieu Journault, Pascal Lafourcade 0001, Malika More, Rémy Poulain, Léo Robert. wise 2020: 159-169 [doi]

Physical Zero-Knowledge Proof for Suguru PuzzleLéo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki. sss 2020: 235-247 [doi]

Linear Generalized ElGamal Encryption SchemeDemba Sow, Léo Robert, Pascal Lafourcade 0001. iacr, 2020:496, 2020. [doi]

2019

A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving ComputationPascal Lafourcade 0001, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone. ispec 2019: 135-151 [doi]

Security Analysis of Auctionity: A Blockchain Based E-AuctionPascal Lafourcade 0001, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix. fps 2020: 290-307 [doi]

Get-your-ID: Decentralized Proof of IdentityPascal Lafourcade 0001, Marius Lombard-Platet. fps 2020: 327-336 [doi]

Light CryptographyPascal Lafourcade 0001, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa. ifip11-8 2019: 89-101 [doi]

Infinite Grid Exploration by Disoriented RobotsQuentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001. sirocco 2019: 340-344 [doi]

Secure Trick-Taking Game Protocols - How to Play Online Spades with CheatersXavier Bultel, Pascal Lafourcade 0001. fc 2019: 265-281 [doi]

Secure Trick-Taking Game Protocols: How to Play Online Spades with CheatersXavier Bultel, Pascal Lafourcade 0001. iacr, 2019:375, 2019. [doi]

Efficient Invisible and Unlinkable Sanitizable SignaturesXavier Bultel, Pascal Lafourcade 0001, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan. pkc 2019: 159-189 [doi]

DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned BlockchainMarwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade 0001, Riadh Robbana. ictac 2019: 292-312 [doi]

DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-VotingMarwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade 0001, Riadh Robbana. icete 2019: 228-235 [doi]

Secure Strassen-Winograd Matrix Multiplication with MapReduceRadu Ciucanu, Matthieu Giraud, Pascal Lafourcade 0001, Lihua Ye. icete 2019: 220-227 [doi]

Secure Best Arm Identification in Multi-armed BanditsRadu Ciucanu, Pascal Lafourcade 0001, Marius Lombard-Platet, Marta Soare. ispec 2019: 152-171 [doi]

Secure and Efficient Matrix Multiplication with MapReduceRadu Ciucanu, Matthieu Giraud, Pascal Lafourcade 0001, Lihua Ye. icete 2020: 132-156 [doi]

Formally and practically verifying flow properties in industrial systemsJannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade 0001, Jean-Louis Roch. compsec, 86:453-470, 2019. [doi]

Interactive Physical Zero-Knowledge Proof for NorinoriJean-Guillaume Dumas, Pascal Lafourcade 0001, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone. cocoon 2019: 166-177 [doi]

Secure Multiparty Matrix Multiplication Based on Strassen-Winograd AlgorithmJean-Guillaume Dumas, Pascal Lafourcade 0001, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys. IWSEC 2019: 67-88 [doi]

Verifiable and Private Oblivious Polynomial EvaluationHardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade 0001. WISTP 2020: 49-65 [doi]

Towards Secure TMIS ProtocolsDavid Gerault, Pascal Lafourcade 0001. fps 2020: 337-344 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Pascal Lafourcade 0001'

Viewing Publication 1 - 100 from 150

2024

2023

2022

2021

2020

2019

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Pascal Lafourcade 0001'

Viewing Publication 1 - 100 from 150

2024

2023

2022

2021

2020

2019

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1