Stop the war!Остановите войну!
for scientists:
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
- 2023
[j37]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)- [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) - [i36]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) - [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) - 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, Gael 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) - [c119]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 - [c118]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 - [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]Gael 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 - [i34]Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi:
Near-collisions and their Impact on Biometric Security (long). CoRR abs/2205.04229 (2022) - [i33]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) - [i32]Pascal Lafourcade, Gael Marcadet, Léo Robert:
Faster Non-interactive Verifiable Computing. IACR Cryptol. ePrint Arch. 2022: 646 (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, Gael 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, M. Cautrès, J.-M. 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 - [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]Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan:
Efficient Invisible and Unlinkable Sanitizable Signatures. IACR Cryptol. ePrint Arch. 2019: 648 (2019) - 2018
- [j21]David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon:
Revisiting AES related-key differential attacks with constraint programming. Inf. Process. Lett. 139: 24-29 (2018) - [c67]Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol. EMCIS 2018: 16-30 - [c66]Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Joins with MapReduce. FPS 2018: 78-94 - [c65]Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
A Cryptographer's Conspiracy Santa. FUN 2018: 13:1-13:13 - [c64]Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Grouping and Aggregation with MapReduce. ICETE (2) 2018: 514-521 - [c63]Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Moták:
Security analysis and psychological study of authentication methods with PIN codes. RCIS 2018: 1-11 - [c62]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: 111-125 - 2017
- [j20]Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys:
Dual protocols for private multi-party matrix multiplication and trust computations. Comput. Secur. 71: 51-70 (2017) - [j19]Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More:
How to explain modern security concepts to your children. Cryptologia 41(5): 422-447 (2017) - [j18]Ali Kassem, Yliès Falcone, Pascal Lafourcade:
Formal analysis and offline monitoring of electronic exams. Formal Methods Syst. Des. 51(1): 117-153 (2017) - [j17]Affoua Therese Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson:
History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol. EAI Endorsed Trans. Mob. Commun. Appl. 3(11): e5 (2017) - [j16]Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu:
Analysis of AES, SKINNY, and Others with Constraint Programming. IACR Trans. Symmetric Cryptol. 2017(1): 281-306 (2017) - [j15]Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade:
SR3: secure resilient reputation-based routing. Wirel. Networks 23(7): 2111-2133 (2017) - [c61]Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade:
Secure Matrix Multiplication with MapReduce. ARES 2017: 11:1-11:10 - [c60]Xavier Bultel, Pascal Lafourcade:
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures. CANS 2017: 203-226 - [c59]Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert:
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. AsiaCCS 2017: 800-814 - [c58]Elliott Blot, Jannik Dreier, Pascal Lafourcade:
Formal Analysis of Combinations of Secure Protocols. FPS 2017: 53-67 - [c57]Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel:
LocalPKI: An Interoperable and IoT Friendly PKI. ICETE (Selected Papers) 2017: 224-252 - [c56]Alexandre Anzala-Yamajako, Olivier Bernard, Matthieu Giraud, Pascal Lafourcade:
No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption. ICETE (Selected Papers) 2017: 253-277 - [c55]Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade:
Duck Attack on Accountable Distributed Systems. MobiQuitous 2017: 303-312 - [c54]Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade:
Verifiable Private Polynomial Evaluation. ProvSec 2017: 487-506 - [c53]Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch:
Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017: 55-66 - [c52]Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel:
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. SECRYPT 2017: 187-199 - [c51]Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade:
Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption. SECRYPT 2017: 200-211 - [c50]