Pascal Lafourcade

Pascal Lafourcade, Professeur des Université à l'Université Clermont Auvergne
248
Documents
Affiliation actuelle
  • Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS)
Contact

Domaines de recherche

Cryptographie et sécurité [cs.CR]

Publications

175
21
11
8
5
5
5
3
2
2
2
2
1
1
1
1
1
1
1
20
17
10
9
8
7
6
6
5
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
36
25
22
22
21
15
15
15
14
12
11
10
10
10
9
8
8
8
8
8
7
7
6
6
6
6
6
6
6
6
5
5
5
4
4
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
49
16
14
11
10
10
6
5
3
3
3
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
93
74
47
19
19
7
5
3
2
1
1
1
1
1
1

Publications

Infinite grid exploration with synchronous myopic robots without chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes

Discrete Applied Mathematics, 2025, 375, pp.193-214. ⟨10.1016/j.dam.2025.05.031⟩

Article dans une revue hal-05117554v1
Deposit thumbnail

Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes

Theoretical Computer Science, 2023, 977, pp.114162. ⟨10.1016/j.tcs.2023.114162⟩

Article dans une revue hal-04206069v1
Deposit thumbnail

Privacy-Preserving Proof-of-Location With Security Against Geo-Tampering

Mamunur Akand , Reihaneh Safavi-Naini , Marc Kneppers , Matthieu Giraud , Pascal Lafourcade

IEEE Transactions on Dependable and Secure Computing, 2023, 20 (1), pp.131-146. ⟨10.1109/TDSC.2021.3128073⟩

Article dans une revue hal-04403596v1
Deposit thumbnail

ZKP protocols for Usowan, Herugolf and Five Cells

Daiki Miyahara , Léo Robert , Pascal Lafourcade , Takaaki Mizuki

Tsinghua Science and Technology, In press, ⟨10.26599/TST.20xx.9010⟩

Article dans une revue hal-04335703v1

Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits

Radu Ciucanu , Anatole Delabrouille , Pascal Lafourcade , Marta Soare

IEEE Transactions on Dependable and Secure Computing, 2023, 20 (2), ⟨10.1109/TDSC.2022.3154585⟩

Article dans une revue hal-03595189v1
Deposit thumbnail

Perpetual torus exploration by myopic luminous robots

Omar Darwich , Ahmet-Sefa Ulucan , Quentin Bramas , Anissa Lamani , Anaïs Durand et al.

Theoretical Computer Science, 2023, 976, pp.114143. ⟨10.1016/j.tcs.2023.114143⟩

Article dans une revue hal-04323448v1
Deposit thumbnail

Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring

Loïc Crombez , Guilherme da Fonseca , Florian Fontan , Yan Gerard , Aldo Gonzalez-Lorenzo et al.

ACM Journal of Experimental Algorithmics, 2023, ⟨10.1145/3588869⟩

Article dans une revue hal-04051492v1
Deposit thumbnail

Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki

New Generation Computing, 2022

Article dans une revue hal-03542477v1
Deposit thumbnail

Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Luc Libralesso , Takaaki Mizuki

Information and Computation, In press, ⟨10.1016/j.ic.2021.104858⟩

Article dans une revue hal-03542495v1
Deposit thumbnail

Optimal Threshold Padlock Systems

Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade , Léo Robert

Journal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩

Article dans une revue hal-03497369v3

Secure protocols for cumulative reward maximization in stochastic multi-armed bandits

Radu Ciucanu , Pascal Lafourcade , Marius Lombard-Platet , Marta Soare

Journal of Computer Security, 2022, pp.1-27. ⟨10.3233/JCS-210051⟩

Article dans une revue hal-03564146v1
Deposit thumbnail

Shadoks Approach to Low-Makespan Coordinated Motion Planning

Loïc Crombez , Guilherme D da Fonseca , Yan Gerard , Aldo Gonzalez-Lorenzo , Pascal Lafourcade et al.

ACM Journal of Experimental Algorithmics, 2022, 27, pp.1-17. ⟨10.1145/3524133⟩

Article dans une revue hal-04051506v1

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits

Radu Ciucanu , Pascal Lafourcade , Gael Marcadet , Marta Soare

Journal of Artificial Intelligence Research, 2022, 73, pp.737--765. ⟨10.1613/jair.1.13163⟩

Article dans une revue hal-03553894v1
Deposit thumbnail

How to Generate Perfect Mazes?

Victor Bellot , Maxime Cautrès , Jean-Marie Favreau , Milan Gonzalez-Thauvin , Pascal Lafourcade et al.

Information Sciences, 2021, ⟨10.1016/j.ins.2021.03.022⟩

Article dans une revue hal-03174952v1

Design and practical implementation of verify-your-vote protocol

Marwa Chaieb , Souheib Yousfi , Pascal Lafourcade , Riadh Robbana

Concurrency and Computation: Practice and Experience, 2021, 33, ⟨10.1002/cpe.5813⟩

Article dans une revue hal-03451231v1

Blockchain Mirage or Silver Bullet? A Requirements-driven Comparative Analysis of Business and Developers' Perceptions in the Accountancy Domain

Claudia Ribalta , Marius Lombard-Platet , Camille Salinesi , Pascal Lafourcade

Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2021, 12, pp.85-110. ⟨10.22667/JOWUA.2021.03.31.085⟩

Article dans une revue hal-03451232v1
Deposit thumbnail

How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition

Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Léo Robert , Tatsuya Sasaki et al.

Theoretical Computer Science, 2021, 888, pp.41 - 55. ⟨10.1016/j.tcs.2021.07.019⟩

Article dans une revue hal-03419470v1
Deposit thumbnail

A Faster Cryptographer's Conspiracy Santa

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade

Theoretical Computer Science, 2020, 839, pp.122-134. ⟨10.1016/j.tcs.2020.05.034⟩

Article dans une revue hal-02611751v1
Deposit thumbnail

Computing AES related-key differential characteristics with constraint programming

David Gérault , Pascal Lafourcade , Marine Minier , Christine Solnon

Artificial Intelligence (AIJ), 2020, 278, pp.103183 (24). ⟨10.1016/j.artint.2019.103183⟩

Article dans une revue hal-02327893v1
Deposit thumbnail

About blockchain interoperability

Pascal Lafourcade , Marius Lombard-Platet

Information Processing Letters, 2020, 161, pp.105976 -. ⟨10.1016/j.ipl.2020.105976⟩

Article dans une revue hal-03490789v1
Deposit thumbnail

LocalPKI: An Interoperable and IoT Friendly PKI

Jean-Guillaume Dumas , Pascal Lafourcade , Francis Melemedjian , Jean-Baptiste Orfila , Pascal Thoniel

Communications in Computer and Information Science, 2019, 990, pp.224-252. ⟨10.1007/978-3-030-11039-0_11⟩

Article dans une revue hal-01963269v1
Deposit thumbnail

No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption

Alexandre Anzala-Yamajako , Olivier Bernard , Matthieu Giraud , Pascal Lafourcade

Communications in Computer and Information Science, 2019, E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper, 990, pp.253-277

Article dans une revue hal-01990354v1
Deposit thumbnail

Formally and Practically Verifying Flow Integrity Properties in Industrial Systems

Jannik Dreier , Maxime Puys , Marie-Laure Potet , Pascal Lafourcade , Jean-Louis Roch

Computers & Security, 2019, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩

Article dans une revue hal-01959766v2
Deposit thumbnail

Revisiting AES Related-Key Differential Attacks with Constraint Programming

David Gérault , Pascal Lafourcade , Marine Minier , Christine Solnon

Information Processing Letters, 2018, 139, pp.24-29. ⟨10.1016/j.ipl.2018.07.001⟩

Article dans une revue hal-01827727v1

Un tour de magie pour introduire la représentation binaire des nombres

Béatrice Drot-Delange , Séverine Fleury , Pascal Lafourcade , Malika More

Le Bulletin Vert = Bulletin de l'APMEP, 2018, Mathématiques et interdisciplinarité - II, 525-526, pp.17-34

Article dans une revue hal-01852811v1

Je suis un ordinateur

Pascal Lafourcade , Malika More

Tangente Éducation, 2018, 42-43

Article dans une revue hal-04446304v1
Deposit thumbnail

Les monnaies virtuelles décentralisées sont-elles des dispositifs d'avenir ?

Ariane Tichit , Pascal Lafourcade , Vincent Mazenod

Interventions Economiques : Papers in Political Economy, 2018

Article dans une revue hal-01995938v1
Deposit thumbnail

Formal analysis of a private access control protocol to a cloud storage

Mouhebeddine Berrima , Pascal Lafourcade , Matthieu Giraud , Narjes Ben Rajeb

International Journal of Innovative Computing and Applications, 2018, 9 (3), pp.150-164. ⟨10.1504/IJICA.2018.093733⟩

Article dans une revue hal-01990336v1
Deposit thumbnail

Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations

Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys

Computers & Security, 2017, 71, pp.51-70. ⟨10.1016/j.cose.2017.04.013⟩

Article dans une revue hal-01497866v1
Deposit thumbnail

Formal analysis and offline monitoring of electronic exams

Ali Kassem , Yliès Falcone , Pascal Lafourcade

Formal Methods in System Design, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩

Article dans une revue hal-01653884v1
Deposit thumbnail

How to Explain Modern Security Concepts to your Children

Xavier Bultel , Jannik Dreier , Pascal Lafourcade , Malika More

Cryptologia, 2017, 41 (5), ⟨10.1080/01611194.2016.1238422⟩

Article dans une revue hal-01397035v1
Deposit thumbnail

Analysis of AES, SKINNY, and Others with Constraint Programming

Siwei Sun , David Gerault , Pascal Lafourcade , Qianqian Yang , Yosuke Todo et al.

IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306

Article dans une revue hal-01615487v1
Deposit thumbnail

Vérifier la sécurité de nos communications

Pascal Lafourcade

Interstices, 2017

Article dans une revue hal-01688780v1
Deposit thumbnail

SR3: secure resilient reputation-based routing

Karine Altisen , Raphaël Jamet , Stéphane Devismes , Pascal Lafourcade

Wireless Networks, 2017, 23 (7), pp.2111 - 2133. ⟨10.1007/s11276-016-1273-4⟩

Article dans une revue hal-01707698v1
Deposit thumbnail

Formal verification of mobile robot protocols

Beatrice Bérard , Pascal Lafourcade , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg et al.

Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩

Article dans une revue hal-01344903v1
Deposit thumbnail

Automated Proofs of Block Cipher Modes of Operation

Martin Gagné , Pascal Lafourcade , Yassine Lakhnech , Reihaneh Safavi-Naini

Journal of Automated Reasoning, 2016, 56 (1), pp.49--94. ⟨10.1007/s10817-015-9341-5⟩

Article dans une revue hal-01707712v1
Deposit thumbnail

On the existence and decidability of unique decompositions of processes in the applied π-calculus

Jannik Dreier , Cristian Ene , Pascal Lafourcade , Yassine Lakhnech

Theoretical Computer Science, 2016, 612, pp.102--125. ⟨10.1016/j.tcs.2015.11.033⟩

Article dans une revue hal-01238097v2
Deposit thumbnail

History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol

Affoua Thérèse Aby , Alexandre Guitton , Pascal Lafourcade , Michel Misson

EAI Endorsed Transactions on Mobile Communications and Applications, 2016, 2 (7)

Article dans une revue hal-01471718v1
Deposit thumbnail

Brandt's fully private auction protocol revisited

Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade

Journal of Computer Security, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. ⟨10.3233/JCS-150535⟩

Article dans une revue hal-01233555v1
Deposit thumbnail

Formal Security Analysis of Traditional and Electronic Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini et al.

Communications in Computer and Information Science, 2015, ⟨10.1007/978-3-319-25915-4_16⟩

Article dans une revue hal-01337412v1
Deposit thumbnail

Key Management inWireless Sensor Networks

Ismail Mansour , Gérard Chalhoub , Pascal Lafourcade

Journal of sensor and actuator networks, 2015, 4 (3), pp.251 - 273. ⟨10.3390/jsan4030251⟩

Article dans une revue hal-01593134v1
Deposit thumbnail

Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks

Ismail Mansour , Gérard Chalhoub , Pascal Lafourcade

Journal of sensor and actuator networks, 2014, 3 (3), pp.224 - 244. ⟨10.3390/jsan3030224⟩

Article dans une revue hal-01593137v1
Deposit thumbnail

Comparison of Mean Hitting Times for a Degree-Biased Random Walk

Antoine Gerbaud , Karine Altisen , Stéphane Devismes , Pascal Lafourcade

Discrete Applied Mathematics, 2014, 170, pp.104 - 109. ⟨10.1016/j.dam.2014.01.021⟩

Article dans une revue hal-01759847v1

Automated Proofs for Asymmetric Encryption

J. Courant , · M Daubignard , C. Ene , Pascal Lafourcade , · y Lakhnech

Journal of Automated Reasoning, 2011, 46 (3-4), pp.261 - 291. ⟨10.1007/s10817-010-9186-x⟩

Article dans une revue hal-01759799v1
Deposit thumbnail

Je veux te dire un secret, mais tout le monde m’écoute!

Marion Daubignard , Pascal Lafourcade

Visions croisées, 2010, 7, pp.9-10

Article dans une revue hal-04449181v1
Deposit thumbnail

Symbolic Protocol Analysis for Monoidal Equational Theories

Stéphanie Delaune , Pascal Lafourcade , Denis Lugiez , Ralf Treinen

Information and Computation, 2008, 206 (2-4), pp.312-351. ⟨10.1016/j.ic.2007.07.005⟩

Article dans une revue hal-00496352v1
Deposit thumbnail

Secure Neighborhood Discovery: A Fundamental Element for Mobile Ad Hoc Networking

Panos Papadimitratos , Marcin Poturalski , Patrick Schaller , Pascal Lafourcade , David Basin et al.

IEEE Communications Magazine, 2008, 46 (2), pp.132 - 139. ⟨10.1109/MCOM.2008.4473095⟩

Article dans une revue hal-01759941v1
Deposit thumbnail

Intruder deduction for the equational theory of Abelian groups with distributive encryption

Pascal Lafourcade , Denis Lugiez , Ralf Treinen

Information and Computation, 2007, 205 (4), pp.581-623. ⟨10.1016/j.ic.2006.10.008⟩

Article dans une revue hal-00496353v1
Deposit thumbnail

Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption

Pascal Lafourcade

Electronic Notes in Theoretical Computer Science, 2007, 171 (4), pp.37 - 57. ⟨10.1016/j.entcs.2007.02.054⟩

Article dans une revue hal-01759944v1
Deposit thumbnail

Attack and Revison of an Electronic Auction Protocol using OFMC

Pascal Lafourcade , Bogdan Ksiezopolski

annales UMCS - Informatica, 2007, 6 (1), pp.171-183

Article dans une revue hal-01759950v1
Deposit thumbnail

A Survey of Algebraic Properties Used in Cryptographic Protocols

Véronique Cortier , Stéphanie Delaune , Pascal Lafourcade

Journal of Computer Security, 2006, 14 (1), pp.1-43

Article dans une revue inria-00000552v1
Deposit thumbnail

Sanitizable Signatures with Different Admissibility Policies for Multiple Sanitizers

Osama Allabwani , Olivier Blazy , Pascal Lafourcade , Charles Olivier-Anclin , Olivier Raynaud

ACM Asia Conference on Computer and Communications Security (ASIA CCS '26), Jun 2026, Bangalore, India. ⟨10.1145/3779208.3785265⟩

Communication dans un congrès hal-05411833v2

Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocol

Ioana Boureanu , Cristina Onete , Stephan Wesemeyer , Léo Robert , Rhys Miller et al.

ASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security, Aug 2025, Hanoi, Vietnam. pp.231-247, ⟨10.1145/3708821.3733910⟩

Communication dans un congrès hal-05213262v1
Deposit thumbnail

Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability

Ayoub Ben Hassen , Dhekra Mahmoud , Pascal Lafourcade , Maxime Puys

20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025), Aug 2025, Hanoi, Vietnam

Communication dans un congrès hal-04998270v1
Deposit thumbnail

Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended version

Pascal Lafourcade , Elsa Lopez Perez , Charles Olivier-Anclin , Cristina Onete , Clément Papon et al.

ESORICS 2025 - 30th European Symposium on Research in Computer Security, Sep 2025, Toulouse, France

Communication dans un congrès hal-05126079v1
Deposit thumbnail

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization

Pascal Lafourcade , Dhekra Mahmoud , Sylvain Ruhault , Abdul Rahman Taleb

Usenix Security 2025, Aug 2025, Seattle, United States. pp.4937-4956

Communication dans un congrès hal-05460773v1
Deposit thumbnail

Who Pays Whom? Anonymous EMV-Compliant Contactless Payments

Charles Olivier-Anclin , Ioana Boureanu , Liqun Chen , Christopher Newton , Tom Chothia et al.

34th USENIX Security Symposium 2025, Aug 2025, Seattle, United States

Communication dans un congrès hal-04917364v1
Deposit thumbnail

A Unified Symbolic Analysis of WireGuard

Pascal Lafourcade , Dhekra Mahmoud , Sylvain Ruhault , Boris Lonjon

Usenix Network and Distributed System Security Symposium, Feb 2024, San Diego (CA), United States. ⟨10.14722/ndss.2024.24364⟩

Communication dans un congrès hal-04615393v1
Deposit thumbnail

Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles

Shohei Kaneko , Pascal Lafourcade , Lola-Baie Mallordy , Daiki Miyahara , Maxime Puys et al.

Information Security Conference, Oct 2024, Washington DC, United States

Communication dans un congrès hal-04671562v2
Deposit thumbnail

iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption

Pascal Lafourcade , Léo Robert , Gael Marcadet

International Conference on Cryptology in Africa, Jul 2024, Douala, Cameroon

Communication dans un congrès hal-04620459v1
Deposit thumbnail

Optimal Asynchronous Perpetual Grid Exploration

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani

Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Toshimitsu Masuzawa; Yoshiaki Katayama; Hirotsugu Kakugawa, Oct 2024, Nagoya, Japan. pp.89-105, ⟨10.1007/978-3-031-74498-3_6⟩

Communication dans un congrès hal-04620468v1
Deposit thumbnail

Formal Analysis of C-ITS PKI protocols

Mounira Msahli , Pascal Lafourcade , Dhekra Mahmoud

SECRYPT 2024 : International Conference on Information Security and Cryptography, Jul 2024, Dijon, France

Communication dans un congrès hal-04620494v1
Deposit thumbnail

Cryptographic cryptid protocols: How to play cryptid with cheaters

Xavier Bultel , Charlène Jojon , Pascal Lafourcade

CANS 2024 - 23rd International Conference on Cryptology And Network Security, Sep 2024, Cambridge, United Kingdom

Communication dans un congrès hal-04620483v1
Deposit thumbnail

Secure Voting Protocol Using Balance Scale

Shohei Kaneko , Pascal Lafourcade , Lola-Baie Mallordy , Daiki Miyahara , Maxime Puys et al.

17th International Symposium on Foundations & Practice of Security (FPS – 2024)., Dec 2024, Montreal, Canada

Communication dans un congrès hal-04831163v1
Deposit thumbnail

Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets

Jannik Dreier , Pascal Lafourcade , Dhekra Mahmoud

USENIX-Security 2024 - USENIX Security Symposium, USENIX Association, Aug 2024, Philadelphia, United States

Communication dans un congrès hal-04615474v2
Deposit thumbnail

How did they design this game? Swish: complexity and unplayable positions

Antoine Dailly , Pascal Lafourcade , Gael Marcadet

12th International Conference on Fun with Algorithms (FUN 2024), Jun 2024, Island of La Maddalena, Sardinia, Italy, Italy. pp.10:1-10:19, ⟨10.4230/LIPIcs.FUN.2024.10⟩

Communication dans un congrès hal-04489238v2
Deposit thumbnail

Transferable, Auditable and Anonymous Ticketing Protocol

Pascal Lafourcade , Dhekra Mahmoud , Gael Marcadet , Charles Olivier-Anclin

2024 Asia Conference on Information, Computer and Communications Security, Jul 2024, Singapore, Singapore

Communication dans un congrès hal-04615493v1
Deposit thumbnail

Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani

AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France

Communication dans un congrès hal-04085120v1
Deposit thumbnail

Generic and Universal Local Cryptocurrency: LCoin

Frédéric A Hayek , Pascal Lafourcade , Ariane Tichit

BRAINS - Conference on Blockchain Research & Applications for Innovative Networks and Services, Oct 2023, Paris, France

Communication dans un congrès hal-04176704v3
Deposit thumbnail

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment

Olivier Blazy , Ioana Boureanu , Pascal Lafourcade , Cristina Onete , Léo Robert

USENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States. pp.5917--5934

Communication dans un congrès hal-03770735v1
Deposit thumbnail

Automatic implementations synthesis of secure protocols and attacks from abstract models

Camille Sivelle , Lorys Debbah , Maxime Puys , Pascal Lafourcade , Thibault Franco-Rondisson

Nordic Workshop on Secure IT Systems, 2022, Rekyavik, Iceland. pp.234-252, ⟨10.1007/978-3-031-22295-5_13⟩

Communication dans un congrès hal-03835049v1
Deposit thumbnail

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)

Pascal Lafourcade , Gael Marcadet , Léo Robert

ACM Symposium on Applied Computing, 2023, Tallinn, Estonia

Communication dans un congrès hal-03909382v1
Deposit thumbnail

Generic Privacy Preserving Private Permissioned Blockchains

Frédéric A. Hayek , Mirko Koscina , Pascal Lafourcade , Charles Olivier-Anclin

ACM Symposium on Applied Computing, Mar 2023, Tallinn, Estonia

Communication dans un congrès hal-03906880v2

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract)

Radu Ciucanu , Pascal Lafourcade , Gael Marcadet , Marta Soare

Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.6863-6867, ⟨10.24963/ijcai.2023/772⟩

Communication dans un congrès hal-04182291v1
Deposit thumbnail

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun

Samuel Hand , Alexander Koch , Pascal Lafourcade , Daiki Miyahara , Léo Robert

IWSEC : International Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩

Communication dans un congrès hal-04403702v1
Deposit thumbnail

Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside

Rohann Bella , Xavier Bultel , Céline Chevalier , Pascal Lafourcade , Charles Olivier-Anclin

FC2023 - Twenty-Seventh Financial Cryptography and Data Security Conference, International Financial Cryptography Association, May 2023, Bol, Brač, Croatia

Communication dans un congrès hal-04008484v1
Deposit thumbnail

Generic Blockchain on Generic Human Behavior

Clémentine Gritti , Frédéric A Hayek , Pascal Lafourcade , Boris Lonjon

SECRYPT 2023, Jul 2023, Rome, Italy

Communication dans un congrès hal-04097883v2
Deposit thumbnail

Near-collisions and Their Impact on Biometric Security

Axel Durbet , Paul-Marie Grollemund , Pascal Lafourcade , Kevin Thiry-Atighehchi

International Conference on Security and Cryptography (SECRYPT), Jul 2022, Lisbon, Portugal. pp.382-389, ⟨10.5220/0011279200003283⟩

Communication dans un congrès hal-03751547v1
Deposit thumbnail

Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric

Aisling Ac Connolly , Jérôme Deschamps , Pascal Lafourcade , Octavio Perez-Kempner

INDOCRYPT : International Conference on Cryptology in India, Dec 2022, Kolkata, India

Communication dans un congrès hal-03832838v1

SAMBA: A System for Secure Federated Multi-Armed Bandits

Gael Marcadet , Radu Ciucanu , Pascal Lafourcade , Marta Soare , Sihem Amer-Yahia

2022 IEEE 38th International Conference on Data Engineering (ICDE), May 2022, Online (hosted in Kuala Lumpur), Malaysia. pp.3154-3157, ⟨10.1109/ICDE53745.2022.00286⟩

Communication dans un congrès hal-03754364v1
Deposit thumbnail

Local search with weighting schemes for the CG:SHOP 2022 competition

Florian Fontan , Pascal Lafourcade , Luc Libralesso , Benjamin Momège

38th International Symposium on Computational Geometry, SoCG, Jun 2022, Berlin, Germany. ⟨10.4230/LIPIcs.SoCG.2022.73⟩

Communication dans un congrès hal-03832850v1
Deposit thumbnail

Authentication Attacks on Projection-based Cancelable Biometric Schemes

Axel Durbet , Paul-Marie Grollemund , Pascal Lafourcade , Denis Migdal , Kevin Thiry-Atighehchi

International Conference on Security and Cryptography (SECRYPT), Jul 2022, Lisbon, Portugal. pp.568-573, ⟨10.5220/0011277100003283⟩

Communication dans un congrès hal-03751545v1
Deposit thumbnail

Perpetual Torus Exploration by Myopic Luminous Robots

Omar Darwich , Ahmet-Sefa Ulucan , Quentin Bramas , Anissa Lamani , Anaïs Durand et al.

Symposium on Stabilization, Safety, and Security of Distributed Systems, 2022, Clermont-ferrand, France. pp.164-177, ⟨10.1007/978-3-031-21017-4_11⟩

Communication dans un congrès hal-04403537v1
Deposit thumbnail

Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani

FUN : Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩

Communication dans un congrès hal-03746703v1
Deposit thumbnail

Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes

Aisling Connolly , Pascal Lafourcade , Octavio Perez-Kempner

International Conference on Practice and Theory in Public Key Cryptography, Mar 2022, Tokyo, Japan

Communication dans un congrès hal-03832839v1
Deposit thumbnail

Exploration perpétuelle : ça s'en va et ça revient

Arthur Rauch , Quentin Bramas , Stéphane Devismes , Pascal Lafourcade , Anissa Lamani

AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4, ⟨10.5281/zenodo.4640462⟩

Communication dans un congrès hal-03657044v2
Deposit thumbnail

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing

Olivier Blazy , Pierre-Alain Fouque , Thibaut Jacques , Pascal Lafourcade , Cristina Onete et al.

ACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩

Communication dans un congrès hal-03510612v1
Deposit thumbnail

A Survey on Identity-based Blind Signature

Mirko Koscina , Pascal Lafourcade , Gael Marcadet , Charles Olivier-Anclin , Léo Robert

The 15th International Symposium on Foundations & Practice of Security (FPS – 2022), Dec 2022, Ottawa, Canada

Communication dans un congrès hal-03934926v1
Deposit thumbnail

Hide a Liar: Card-Based ZKP Protocol for Usowan

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki

International Conference on Theory and Applications of Models of Computation, Sep 2022, Tianjin (China), China. pp.201-217, ⟨10.1007/978-3-031-20350-3_17⟩

Communication dans un congrès hal-04403799v1
Deposit thumbnail

A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking

Ghada Arfaoui , Pierre-Alain Fouque , Thibaut Jacques , Adina Nedelcu , Cristina Onete et al.

International Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy

Communication dans un congrès hal-03450625v1

La blockchain : avenir des monnaies locales ?

Corentin Elissée , Frédéric Hayek , Pascal Lafourcade , Ariane Tichit

Alter-Crypto-2022 : Crypto-monnaies et autres monnaies alternatives numériques, Jun 2022, Lyon, France

Communication dans un congrès hal-03819019v1
Deposit thumbnail

Card-Based ZKP Protocol for Nurimisaki

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki

Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferand, France. pp.285-298, ⟨10.1007/978-3-031-21017-4_19⟩

Communication dans un congrès hal-04403634v1
Deposit thumbnail

Generic Plaintext Equality and Inequality Proofs

Olivier Blazy , Xavier Bultel , Pascal Lafourcade , Octavio Perez-Kempner

Financial Cryptography and Data Security Conference, 2021, Online, Unknown Region. pp.415--435, ⟨10.1007/978-3-662-64322-8\_20⟩

Communication dans un congrès hal-03478247v1
Deposit thumbnail

Infinite Grid Exploration by Disoriented Robots

Quentin Bramas , Stéphane Devismes , Pascal Lafourcade

8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco. pp.129-145, ⟨10.1007/978-3-030-67087-0_9⟩

Communication dans un congrès hal-02559612v1
Deposit thumbnail

Un jour sans fin

Stéphane Devismes , Pascal Lafourcade

ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France

Communication dans un congrès hal-03205279v2

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality

Arthur Rauch , Quentin Bramas , Stéphane Devismes , Pascal Lafourcade , Anissa Lamani

9th International Conference, NETYS 2021, May 2021, Virtual, France. pp.95-110, ⟨10.1007/978-3-030-91014-3_7⟩

Communication dans un congrès hal-03547159v1
Deposit thumbnail

Fast Cramer-Shoup Cryptosystem

Pascal Lafourcade , Léo Robert , Demba Sow

18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩

Communication dans un congrès hal-03419423v1
Deposit thumbnail

Mechanised Models and Proofs for Distance-Bounding

Ioana Boureanu , Constantin Cătălin Drăgan , François Dupressoir , David Gérault , Pascal Lafourcade

IEEE Computer Security Foundations Symposium (was CSFW), 2021, Dubrovnik, Croatia. pp.1-16, ⟨10.1109/CSF51468.2021.00049⟩

Communication dans un congrès hal-04402795v1
Deposit thumbnail

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki

Computability in Europe: Logic and Theory of Algorithms, Jul 2021, à distance, Belgium

Communication dans un congrès hal-03209911v1
Deposit thumbnail

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes

International Conference on Distributed Computing and Networking, 2021, Nara, Japan. pp.76-85, ⟨10.1145/3427796.3427834⟩

Communication dans un congrès hal-03130277v1
Deposit thumbnail

Automatic Generation of Declarative Models for Differential Cryptanalysis

Luc Libralesso , François Delobel , Pascal Lafourcade , Christine Solnon

CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.19⟩

Communication dans un congrès hal-03320980v1
Deposit thumbnail

Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)

Loïc Crombez , Guilherme D. da Fonseca , Yan Gérard , Aldo Gonzalez-Lorenzo , Pascal Lafourcade et al.

37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference), Jun 2021, Buffalo, United States. ⟨10.4230/LIPIcs.SoCG.2021.63⟩

Communication dans un congrès hal-03485486v1
Deposit thumbnail

Generic Construction for Identity-based Proxy Blind Signature

Xavier Bultel , Pascal Lafourcade , Charles Olivier-Anclin , Léo Robert

FPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France

Communication dans un congrès hal-03435956v1

Secure Outsourcing of Multi-Armed Bandits

Radu Ciucanu , Pascal Lafourcade , Marius Lombard-Platet , Marta Soare

19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020), Dec 2020, Conférence online, China. pp.202-209

Communication dans un congrès hal-02953292v1
Deposit thumbnail

Physical Zero-Knowledge Proof for Suguru Puzzle

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki

22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States

Communication dans un congrès hal-03017693v1

Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation

Radu Ciucanu , Pascal Lafourcade

International Semantic Web Conference (ISWC) - Demo Track, Nov 2020, Conférence online, Greece

Communication dans un congrès hal-02942717v1
Deposit thumbnail

Fast Short and Fast Linear Cramer-Shoup

Pascal Lafourcade , Léo Robert , Demba Sow

Foundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France

Communication dans un congrès hal-03419449v1
Deposit thumbnail

Une preuve pour le lycée de l'indécidabilité du problème de l'arrêt

Matthieu Journault , Pascal Lafourcade , Rémy Poulain , Malika More

Didapro 8 – DidaSTIC L’informatique, objets d’enseignements – enjeux épistémologiques, didactique et de formation, Feb 2020, Lille, France

Communication dans un congrès hal-04446237v1
Deposit thumbnail

Proof of Behavior

Paul-Marie Grollemund , Pascal Lafourcade , Kevin Thiry-Atighehchi , Ariane Tichit

2. Tokenomics Conference on Blockchain Economics, Security and Protocols, Oct 2020, Toulouse, France

Communication dans un congrès hal-02559573v1
Deposit thumbnail

Linear Generalized ElGamal Encryption Scheme

Pascal Lafourcade , Léo Robert , Demba Sow

International Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France

Communication dans un congrès hal-02559556v1
Deposit thumbnail

How to Teach the Undecidability of Malware Detection Problem and Halting Problem

Matthieu Journault , Pascal Lafourcade , Malika More , Rémy Poulain , Léo Robert

WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia

Communication dans un congrès hal-02559585v1

Secure and Efficient Matrix Multiplication with MapReduce

Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade , Lihua Ye

SECRYPT/ICETE - Revised Selected Papers, Jul 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-52686-3_6⟩

Communication dans un congrès hal-02942677v1

GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation

Radu Ciucanu , Pascal Lafourcade

34th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (also known as DBSEC), Jun 2020, Conférence online, Germany. pp.347-366, ⟨10.1007/978-3-030-49669-2_20⟩

Communication dans un congrès hal-02544920v1
Deposit thumbnail

A Silver Bullet? A Comparison of Accountants and Developers Mental Models in the Raise of Blockchain

Rose Esmander , Pascal Lafourcade , Marius Lombard-Platet , Claudia Negri Ribalta

In proceedings of the 15th International Conference on Availability, Reliability and Security, ARES, Jul 2020, Dublin, Ireland. ⟨10.1145/3407023.3409193⟩

Communication dans un congrès hal-03017686v1
Deposit thumbnail

Finding Water on Poleless using Melomaniac Myopic Chameleon Robots

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes

Tenth International Conference on Fun with Algorithms (FUN 2020), Jun 2020, Island of Favignana, Trapani, Italy. pp.6:1-6:19, ⟨10.4230/LIPIcs.FUN.2021.6⟩

Communication dans un congrès hal-02559617v1

Secure Cumulative Reward Maximization in Linear Stochastic Bandits

Radu Ciucanu , Anatole Delabrouille , Pascal Lafourcade , Marta Soare

International Conference on Provable and Practical Security (ProvSec), Nov 2020, Conférence online, Singapore. pp.257-277, ⟨10.1007/978-3-030-62576-4_13⟩

Communication dans un congrès hal-02942694v1

Card-based ZKP protocols for Takuzu and Juosan

Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Atsuki Nagao , Hideaki Sone et al.

Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy

Communication dans un congrès hal-02559600v1
Deposit thumbnail

Vers l'infini et au delà

Quentin Bramas , Stéphane Devismes , Pascal Lafourcade

ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France

Communication dans un congrès hal-02791601v1
Deposit thumbnail

Get-your-ID: Decentralized Proof of Identity

Pascal Lafourcade , Marius Lombard-Platet

International Symposium on Foundations & Practice of Security, Nov 2019, Toulouse, France

Communication dans un congrès hal-02412797v1
Deposit thumbnail

A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation

Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Tatsuya Sasaki , Hideaki Sone

ISPEC : Information Security Practice and Experience Conference, 2019, Kuala Lumpur, Malaysia. pp.135-151, ⟨10.1007/978-3-030-34339-2_8⟩

Communication dans un congrès hal-04402827v1
Deposit thumbnail

Secure Strassen-Winograd Matrix Multiplication with MapReduce

Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade , Lihua Ye

International Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.220-227

Communication dans un congrès hal-02129149v1
Deposit thumbnail

Secure Trick-Taking Game Protocols How to Play Online Spades with Cheaters

Xavier Bultel , Pascal Lafourcade

Financial Cryptography and Data Security Conference, Feb 2019, Basse terre, Saint Kitts and Nevis

Communication dans un congrès hal-01959762v1
Deposit thumbnail

Towards Secure TMIS Protocols

David Gérault , Pascal Lafourcade

International Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France

Communication dans un congrès hal-02412793v1

Secure Best Arm Identification in Multi-Armed Bandits

Radu Ciucanu , Pascal Lafourcade , Marius Lombard-Platet , Marta Soare

ISPEC 2019 : The 15th International Conference on Information Security Practice and Experience, Nov 2019, Kuala Lumpur, Malaysia. ⟨10.1007/978-3-030-34339-2_9⟩

Communication dans un congrès hal-02270418v1
Deposit thumbnail

Efficient Invisible and Unlinkable Sanitizable Signatures

Xavier Bultel , Pascal Lafourcade , Russell W F Lai , Giulio Malavolta , Dominique Schröder et al.

International Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China

Communication dans un congrès hal-01964514v1
Deposit thumbnail

Brief Announcement: Infinite Grid Exploration by Disoriented Robots

Quentin Bramas , Stéphane Devismes , Pascal Lafourcade

26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy

Communication dans un congrès hal-02145822v1
Deposit thumbnail

Interactive Physical Zero-Knowledge Proof for Norinori

Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Tatsuya Sasaki et al.

The 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩

Communication dans un congrès hal-02150062v1
Deposit thumbnail

DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain

Marwa Chaieb , Mirko Koscina , Souheib Yousfi , Pascal Lafourcade , Riadh Robbana

International Colloquium on Theoretical Aspects of Computing, 2019, Hammamet (Tunisie), Tunisia. pp.292-312, ⟨10.1007/978-3-030-32505-3_17⟩

Communication dans un congrès hal-04445965v1
Deposit thumbnail

Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm

Jean-Guillaume Dumas , Pascal Lafourcade , Julio Lopez Fenner , David Lucas , Jean-Baptiste Orfila et al.

The 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩

Communication dans un congrès hal-01781554v3
Deposit thumbnail

Security Analysis of Auctionity: a blockchain based e-auction

Pascal Lafourcade , Mike Nopere , Jérémy Picot , Daniela Pizzuti , Etienne Roudeix

International Symposium on Foundations & Practice of Security FPS 19, Nov 2019, Toulouse, France

Communication dans un congrès hal-02412800v1
Deposit thumbnail

Verifiable and Private Oblivious Polynomial Evaluation

Manik Lal Das , Hardik Gajera , David Gerault , Matthieu Giraud , Pascal Lafourcade

13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.49-65, ⟨10.1007/978-3-030-41702-4_4⟩

Communication dans un congrès hal-02412789v1
Deposit thumbnail

DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-voting

Marwa Chaieb , Mirko Koscina , Souheib Yousfi , Pascal Lafourcade , Riadh Robbana

International Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic

Communication dans un congrès hal-02145809v1
Deposit thumbnail

Light Cryptography

Pascal Lafourcade , Takaaki Mizuki , Atsuki Nagao , Kazumasa Shinagawa

12th World Conference on Information Security Education WISE 2019, IFIP Working Group 11.8,, Jun 2019, Lisbonne, Portugal. pp.89-101, ⟨10.1007/978-3-030-23451-5_7⟩

Communication dans un congrès hal-02145833v1

Secure Intersection with MapReduce

Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade , Lihua Ye

International Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.236-243, ⟨10.5220/0007918902360243⟩

Communication dans un congrès hal-02273966v1
Deposit thumbnail

A Cryptographer's Conspiracy Santa

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade

FUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩

Communication dans un congrès hal-01777997v2
Deposit thumbnail

Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

Marwa Chaieb , Souheib Yousfi , Pascal Lafourcade , Riadh Robbana

15th European Mediterranean and Middle Eastern Conference on Information Systems, Oct 2018, Limassol, Cyprus

Communication dans un congrès hal-01874855v1
Deposit thumbnail

Security Analysis and Psychological Study of Authentication Methods with PIN Codes

Xavier Bultel , Jannik Dreier , Matthieu Giraud , Marie Izaute , Timothée Kheyrkhah et al.

RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩

Communication dans un congrès hal-01777898v1
Deposit thumbnail

Physical Zero-Knowledge Proof for Makaro

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara et al.

SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩

Communication dans un congrès hal-01898048v1
Deposit thumbnail

Secure Joins with MapReduce

Xavier Bultel , Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade , Lihua Ye

FPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada

Communication dans un congrès hal-01903098v1
Deposit thumbnail

Secure Grouping and Aggregation with MapReduce

Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade , Lihua Ye

15th International Conference on Information Security and Cryptography, SECRYPT'18, Jul 2018, Porto, Portugal. pp.514--521

Communication dans un congrès hal-01874859v1
Deposit thumbnail

Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures

Xavier Bultel , Pascal Lafourcade

International Conference on Cryptology and Network Security, 2017, Hong Kong, China

Communication dans un congrès hal-01964491v1
Deposit thumbnail

Breaking and fixing the HB+DB protocol

Ioana Boureanu , David Gerault , Pascal Lafourcade , Cristina Onete

ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jul 2017, Boston, United States. pp.241 - 246, ⟨10.1145/3098243.3098263⟩

Communication dans un congrès hal-01588562v1
Deposit thumbnail

Formal Analysis of Combinations of Secure Protocols

Elliott Blot , Jannik Dreier , Pascal Lafourcade

FPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.53-67, ⟨10.1007/978-3-319-75650-9_4⟩

Communication dans un congrès hal-01596010v2
Deposit thumbnail

Formally Verifying Flow Properties in Industrial Systems

Jannik Dreier , Maxime Puys , Marie-Laure Potet , Pascal Lafourcade , Jean-Louis Roch

SECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩

Communication dans un congrès hal-01527913v1
Deposit thumbnail

Secure Matrix Multiplication with MapReduce

Xavier Bultel , Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade

12th International Conference on Availability, Reliability and Security ARES, Aug 2017, Reggio Di Calabria, Italy

Communication dans un congrès hal-01927273v1
Deposit thumbnail

Verifiable Private Polynomial Evaluation

Xavier Bultel , Manik Lal Das , Hardik Gajera , David Gérault , Matthieu Giraud et al.

11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506

Communication dans un congrès hal-01689825v1
Deposit thumbnail

Formal Analyze of a Private Access Control Protocol to a Cloud Storage

Narjes Ben Rajeb , Mouhebeddine Berrima , Matthieu Giraud , Pascal Lafourcade

14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461604950500⟩

Communication dans un congrès hal-01689790v1
Deposit thumbnail

Duck Attack on Accountable Distributed Systems

Amrit Kumar , Cédric Lauradoux , Pascal Lafourcade

14th International Conference on Mobile and Ubiquitous Systems: Networks and Services MobiQuitous 2017, Nov 2017, Melbourne, Australia. pp.1-8

Communication dans un congrès hal-01589196v1
Deposit thumbnail

SPADE : un protocole délimiteur de distance anonyme et résistant à la fraude terroriste

Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete et al.

ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France

Communication dans un congrès hal-01524410v1
Deposit thumbnail

Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption

Matthieu Giraud , Alexandre Anzala-Yamajako , Olivier Bernard , Pascal Lafourcade

14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461202000211⟩

Communication dans un congrès hal-01689780v1
Deposit thumbnail

A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol

Gildas Avoine , Xavier Bultel , Sébastien Gambs , David Gerault , Pascal Lafourcade et al.

Asia Conference on Information, Computer and Communications Security, Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩

Communication dans un congrès hal-01588560v1
Deposit thumbnail

LOCALPKI: A User-Centric Formally Proven Alternative to PKIX

Jean-Guillaume Dumas , Pascal Lafourcade , Francis Melemedjian , Jean-Baptiste Orfila , Pascal Thoniel

14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩

Communication dans un congrès hal-01564696v1
Deposit thumbnail

Private Multi-party Matrix Multiplication and Trust Computations

Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys

13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩

Communication dans un congrès hal-01344750v2
Deposit thumbnail

Formal Analysis of Security Properties on the OPC-UA SCADA Protocol

Maxime Puys , Marie-Laure Potet , Pascal Lafourcade

35th International Conference, SAFECOMP 2016, Sep 2016, Trondheim, Norway. ⟨10.1007/978-3-319-45477-1_6⟩

Communication dans un congrès hal-01366059v1
Deposit thumbnail

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade

8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩

Communication dans un congrès hal-01326059v1
Deposit thumbnail

Two Secure Anonymous Proxy-based Data Storages

Olivier Blazy , Xavier Bultel , Pascal Lafourcade

13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016, Lisbon, Portugal. pp.251--258, ⟨10.5220/0005962402510258⟩

Communication dans un congrès hal-01382950v1
Deposit thumbnail

A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol

Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete et al.

9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩

Communication dans un congrès hal-01510800v1
Deposit thumbnail

Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties

Pascal Lafourcade , Maxime Puys

8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015, Oct 2015, Clermont-Ferrand, France. pp.137-155, ⟨10.1007/978-3-319-30303-1_9⟩

Communication dans un congrès hal-01306395v1
Deposit thumbnail

k-Times Full Traceable Ring Signature

Xavier Bultel , Pascal Lafourcade

11th International Conference on Availability, Reliability and Security (ARES 2016), Aug 2016, Salzburg, France. pp.39--48, ⟨10.1109/ARES.2016.37⟩

Communication dans un congrès hal-01691940v2
Deposit thumbnail

A Posteriori Openable Public Key Encryption

Xavier Bultel , Pascal Lafourcade

31st IFIP Information Security & Privacy Conference (IFIP SEC), May 2016, Ghent, Belgium. pp.17-31, ⟨10.1007/978-3-319-33630-5_2⟩

Communication dans un congrès hal-01369535v1
Deposit thumbnail

Formal Analysis of Key Management in mobile Wimax

Noudjoud Kahya , Nacira Ghoualmi , Pascal Lafourcade , Roumaissa Khelf

The 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16, 2016, Khenchela, Algeria

Communication dans un congrès hal-01964502v1
Deposit thumbnail

Anonymizable Ring Signature Without Pairing

Olivier Blazy , Xavier Bultel , Pascal Lafourcade

9th International Symposium on Foundations & Practice of Security, 2016, Québec, Canada

Communication dans un congrès hal-01382951v1
Deposit thumbnail

Related-Key Cryptanalysis of Midori

David Gerault , Pascal Lafourcade

International Conference on Cryptology in India, Dec 2016, Kolkata, India

Communication dans un congrès hal-01588566v1
Deposit thumbnail

Monitoring Electronic Exams

Ali Kassem , Yliès Falcone , Pascal Lafourcade

6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩

Communication dans un congrès hal-01248349v1
Deposit thumbnail

A Framework for Analyzing Verifiability in Traditional and Electronic Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini

Information Security Practice and Experience Conference, May 2015, beijin, China. ⟨10.1007/978-3-319-17533-1_35⟩

Communication dans un congrès hal-01218138v1
Deposit thumbnail

Formal Analysis of E-Cash Protocols

Jannik Dreier , Ali Kassem , Pascal Lafourcade

12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. ⟨10.5220/0005544500650075⟩

Communication dans un congrès hal-01337410v1
Deposit thumbnail

Automated Verification of E-Cash Protocols

Jannik Dreier , Ali Kassem , Pascal Lafourcade

ICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. ⟨10.1007/978-3-319-30222-5_11⟩

Communication dans un congrès hal-01840596v1
Deposit thumbnail

SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks

Thérèse Aby , Alexandre Guitton , Pascal Lafourcade , Michel Misson

International Conference on Ad Hoc Networks (Adhocnets), 2015, San Remo Riviera, Italy

Communication dans un congrès hal-01569756v1

Les émulateurs pédagogiques

Christian Hoffmann , Anne Briançon-Marjollet , Philippe Brulard , Jean-Luc Cracowski , Julien Douady et al.

Question de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277

Communication dans un congrès hal-02022397v1
Deposit thumbnail

Survey of Distance Bounding Protocols and Threats

Agnès Brelurut , David Gerault , Pascal Lafourcade

Foundations and Practice of Security (FPS), Oct 2015, Clermont Ferrand, France. pp.29 - 49, ⟨10.1007/978-3-319-30303-1_3⟩

Communication dans un congrès hal-01588557v1
Deposit thumbnail

Multihop Node Authentication Mechanisms for Wireless Sensor Networks ⋆

Ismail Mansour , Damian Rusinek , Gerard Chalhoub , Pascal Lafourcade , Bogdan Ksiezopolski

Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014, Jun 2014, Benidorm, Spain

Communication dans un congrès hal-01759853v1
Deposit thumbnail

Secure Multihop Key Establishment Protocols for Wireless Sensor Networks

Ismail Mansour , Gerard Chalhoub , Pascal Lafourcade

Cryptography and Security Systems - Third International Conference, CSS 2014, Lublin, Poland, Sep 2014, Lublin, Poland

Communication dans un congrès hal-01759913v1
Deposit thumbnail

Mécanismes d'authentification pour des réseaux de capteurs sans fil multi-sauts

Ismail Mansour , Pascal Lafourcade , Gérard Chalhoub

ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4

Communication dans un congrès hal-00979732v2
Deposit thumbnail

Secure key renewal and revocation for Wireless Sensor Networks

Ismail Mansour , Gerard Chalhoub , Pascal Lafourcade , François Delobel

IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada. ⟨10.1109/LCN.2014.6925797⟩

Communication dans un congrès hal-01759923v1
Deposit thumbnail

Formal Verification of e-Reputation Protocols

Ali Kassem , Pascal Lafourcade , Yassine Lakhnech

Foundations and Practice of Security - 7th International Symposium, FPS 2014,, Nov 2014, Montréal, Canada

Communication dans un congrès hal-01759921v1

Formal Analysis of Electronic Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini et al.

First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France

Communication dans un congrès hal-01338054v1
Deposit thumbnail

(In)Corruptibility of Routing Protocols

Raphaël Jamet , Pascal Lafourcade

Foundations and Practice of Security - 7th International Symposium, FPS 2014, Nov 2014, Montréal, Canada

Communication dans un congrès hal-01759919v1
Deposit thumbnail

Secure Auctions without Cryptography

Jannik Dreier , Hugo Jonker , Pascal Lafourcade

7th International Conference on Fun with Algorithms - FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩

Communication dans un congrès hal-01337414v1
Deposit thumbnail

Formal Analysis of Electronic Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini et al.

11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩

Communication dans un congrès hal-01337413v1
Deposit thumbnail

Performances of Cryptographic Accumulators

Amrit Kumar , Pascal Lafourcade , Cédric Lauradoux

The 39th IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada

Communication dans un congrès hal-00999432v1
Deposit thumbnail

Defining Verifiability in e-Auction Protocols

Jannik Dreier , Hugo Jonker , Pascal Lafourcade

Asia Conference on Information, Computer and Communications Security, ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩

Communication dans un congrès hal-01337416v1
Deposit thumbnail

Brandt's Fully Private Auction Protocol Revisited

Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade

Africacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩

Communication dans un congrès hal-00745247v3
Deposit thumbnail

A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks: Corrected Version

Ali Kassem , Pascal Lafourcade , Yassine Lakhnech

Foundations and Practice of Security - 6th International Symposium,, Oct 2013, La Rochelle,, France

Communication dans un congrès hal-01759222v1
Deposit thumbnail

Automated Security Proofs for Almost-Universal Hash for MAC Verification

Martin Gagné , Pascal Lafourcade , Yassine Lakhnech

Computer Security - {ESORICS} 2013 - 18th European Symposium on Research in Computer Security,, Sep 2013, Egham, United Kingdom

Communication dans un congrès hal-01759927v1
Deposit thumbnail

Formal Verification of e-Auction Protocols

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

International Conference on Principles of Security and Trust, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩

Communication dans un congrès hal-01338020v1
Deposit thumbnail

Discovering Flaws in IDS through Analysis of their Inputs

Raphaël Jamet , Pascal Lafourcade

The Sixth International Symposium on Foundations and Practice of Security FPS’2013, 2013, La Rochelle, France

Communication dans un congrès hal-01707722v1
Deposit thumbnail

Verifiability in e-Auction Protocols

Jannik Dreier , Hugo Jonker , Pascal Lafourcade

1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy

Communication dans un congrès hal-01338057v1
Deposit thumbnail

SR3: Secure Resilient Reputation-based Routing

Karine Altisen , Stéphane Devismes , Raphaël Jamet , Pascal Lafourcade

2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), May 2013, Cambridge, France. ⟨10.1109/DCOSS.2013.33⟩

Communication dans un congrès hal-01759925v1
Deposit thumbnail

Routage sécurisé et résilient pour réseaux de capteurs sans fil

Karine Altisen , Stéphane Devismes , Raphaël Jamet , Pascal Lafourcade

15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4

Communication dans un congrès hal-00813387v3
Deposit thumbnail

On Unique Decomposition of Processes in the Applied π-Calculus

Jannik Dreier , Cristian Ene , Pascal Lafourcade , Yassine Lakhnech

16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-37075-5_4⟩

Communication dans un congrès hal-01338002v1
Deposit thumbnail

A Formal Taxonomy of Privacy in Voting Protocols

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩

Communication dans un congrès hal-01338064v1
Deposit thumbnail

Key Management Protocol in WIMAX Revisited

Noudjoud Kahya , Nacira Ghoualmi , Pascal Lafourcade

3rd International Conference on Communications Security and Information Assurance CSIA, 2012, delhi, India. pp.853 - 862

Communication dans un congrès hal-01964518v1
Deposit thumbnail

Analysis of Random Walks using Tabu Lists

Karine Altisen , Stéphane Devismes , Antoine Gerbaud , Pascal Lafourcade

Structural Information and Communication Complexity - 19th International SIROCCO'12, Jun 2012, Reykjavik, Iceland

Communication dans un congrès hal-01759228v1
Deposit thumbnail

Vote-Independence: A Powerful Privacy Notion for Voting Protocols

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩

Communication dans un congrès hal-01338070v1
Deposit thumbnail

Defining Privacy for Weighted Votes, Single and Multi-voter Coercion

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

European Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. ⟨10.1007/978-3-642-33167-1_26⟩

Communication dans un congrès hal-01338037v1
Deposit thumbnail

Automated Verification of Block Cipher Modes of Operation, an Improved Method

Martin Gagné , Pascal Lafourcade , Yassine Lakhnech , Reihaneh Safavi-Naini

Foundations and Practice of Security - 4th Canada-France FPS 2011, May 2011, Paris, France

Communication dans un congrès hal-01759831v1
Deposit thumbnail

Routage par marche aléatoire à listes tabous

Karine Altisen , Stéphane Devismes , Pascal Lafourcade , Clément Ponsonnet

13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. pp.14

Communication dans un congrès hal-00588086v1
Deposit thumbnail

Benaloh's dense probabilistic encryption revisited

Laurent Fousse , Pascal Lafourcade , Mohamed Alnuaimi

AFRICACRYPT'11 - 4th international conference on Progress in cryptology in Africa, Jul 2011, Dakar, Senegal. pp.348-362, ⟨10.1007/978-3-642-21969-6_22⟩

Communication dans un congrès hal-00769449v1

Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records

Jeremie Tharaud , Sven Wohlgemuth , Isao Echizen , Noboru Sonehara , Günter Müller et al.

2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP), Oct 2010, Darmstadt, Germany. ⟨10.1109/IIHMSP.2010.130⟩

Communication dans un congrès hal-01759931v1
Deposit thumbnail

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

Pascal Lafourcade , Vanessa Terrade , Sylvain Vigier

Formal Aspects in Security and Trust, 2009, Eindhoven, Netherlands

Communication dans un congrès hal-01701443v1
Deposit thumbnail

Automated Security Proof for Symmetric Encryption Modes

Martin Gagné , Pascal Lafourcade , Yassine Lakhnech , Reihaneh Safavi-Naini

Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference,, Dec 2009, Séoul, South Korea

Communication dans un congrès hal-01759935v1

Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Model

Judicaël Courant , Marion Daubignard , Cristian Ene , Pascal Lafourcade , Yassine Lakhnech

the 15th ACM conference, Oct 2008, Alexandria, France. ⟨10.1145/1455770.1455817⟩

Communication dans un congrès hal-01759943v1
Deposit thumbnail

Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or

Stéphanie Delaune , Pascal Lafourcade , Denis Lugiez , Ralf Treinen

Automata, Languages and Programming, 33rd International Colloquium, {ICALP}, Jul 2006, Venise, Italy

Communication dans un congrès hal-01759947v1
Deposit thumbnail

Intruder Deduction for AC-like Equational Theories with Homomorphisms

Pascal Lafourcade , Denis Lugiez , Ralf Treinen

Term Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan

Communication dans un congrès hal-01759946v1

NFT 사용설명서 플러스

Jean-Guillaume Dumas , Pascal Lafourcade , Etienne Roudeix , Ariane Tichit , Sébastien Varrette et al.

2023, 979-119-190-429-1

Ouvrages hal-05224230v1

20 énigmes ludiques pour se perfectionner en cryptographie

Pascal Lafourcade , Cristina Onete

, 2023, 978-2100855117

Ouvrages hal-04610571v1

15 énigmes ludiques pour se perfectionner en programmation Python

Pascal Lafourcade , Malika More , Guenaëlle de Julis

dunod, 2023, 978-2100855087

Ouvrages hal-04610565v1

Les blockchains en 50 questions - 2nd édition

Jean-Guillaume Dumas , Pascal Lafourcade , Ariane Tichit , Sébastien Varrette

Dunod, pp.320, 2022, 978-2-1008-3450-1

Ouvrages hal-03658608v1

15 énigmes ludiques pour s'initier à la programmation Python

Pascal Lafourcade , Malika More

2022

Ouvrages hal-03846790v1

Les NFT en 40 questions

Jean-Guillaume Dumas , Pascal Lafourcade , Etienne Roudeix , Ariane Tichit , Sébastien Varrette

Dunod, pp.256, 2022, 978-2-1008-3304-7

Ouvrages hal-03658619v1

25 énigmes ludiques pour s'initier à la cryptographie

Pascal Lafourcade , Malika More

2021

Ouvrages hal-03846784v1

Architectures de sécurité pour Internet

Jean-Guillaume Dumas , Pascal Lafourcade , Patrick Redon

Dunod, pp.432, 2020, 9782100809707

Ouvrages hal-02776793v1

Les blockchains en 50 questions

Jean-Guillaume Dumas , Pascal Lafourcade , Ariane Tichit , Sébastien Varrette

Dunod, pp.304, 2018, 978-2-1007-7924-6

Ouvrages hal-03658606v1

Comment s'exercer à apprendre ?

Pascal Lafourcade , Isabelle Le Brun

2015

Ouvrages hal-01874860v1

Architectures PKI et communications sécurisées

Jean-Guillaume Dumas , Pascal Lafourcade , Patrick Redon

Dunod, pp.400, 2015, Info Sup, 9782100726158

Ouvrages hal-01445289v1

Exercices de programmation fonctionnelle en OCaml - Une approche pédagogique par l'algorithmique, la preuve et la complexité

Laurent Mounier , Fabienne Carrier , Pascal Lafourcade

Elipses, 2014, 9782729887889

Ouvrages hal-01661697v1

Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre

Pascal Lafourcade , Stéphane Devismes , Michel Lévy

2012

Ouvrages hal-01874862v1

Foundations and practice of security : 4th Canada-France MITACS workshop, FPS 2011, (Paris, May 12-13 2011)

Joaquin Garcia Alfaro , Pascal Lafourcade

Springer Science, Business Media, 6888, pp.253, 2012, Lecture Notes in Computer Science, 978-3-642-27901-0

Ouvrages hal-00724727v1

Distance-Bounding Protocols

David Gerault , Pascal Lafourcade , Léo Robert

Léo Mendiboure (dir.). Cooperative Intelligent Transport Systems, Wiley, pp.273-293, 2024, 9781394325849. ⟨10.1002/9781394325849.ch11⟩

Chapitre d'ouvrage hal-05017782v1

iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption

Pascal Lafourcade , Gael Marcadet , Léo Robert

Serge Vaudenay; Christophe Petit. Progress in Cryptology - AFRICACRYPT 2024, 14861, Springer Nature Switzerland, pp.174-198, 2024, Lecture Notes in Computer Science, 978-3-031-64380-4. ⟨10.1007/978-3-031-64381-1_8⟩

Chapitre d'ouvrage hal-04702513v1

La sécurité de bitcoin et des blockchains

Jean-Guillaume Dumas , Pascal Lafourcade

Gildas Avoine; Marc-Olivier Killijian. Treize défis de la cybersécurité, CNRS Éditions, pp.213-232, 2020, 2271130611

Chapitre d'ouvrage hal-02639358v1
Deposit thumbnail

Les crypto-monnaies, une réalité virtuelle ?

Jean-Guillaume Dumas , Pascal Lafourcade

Les Big Data à l’échelle de la société, CNRS EDITIONS, 2020, 978-2271130617

Chapitre d'ouvrage hal-04449159v1
Deposit thumbnail

Bitcoin : une monnaie dématérialisée

Pascal Lafourcade , Jean-Guillaume Dumas

Les Big Data à découvert, CNRS Editions, pp.298--299, 2017

Chapitre d'ouvrage hal-02291296v1
Deposit thumbnail

Formal Model for (k)-Neighborhood Discovery Protocols

Raphaël Jamet , Pascal Lafourcade

Advances in Network Analysis and its Applications, 18, 2013, Advances in Network Analysis and its Applications. Mathematics in Industry, 978-3-642-30903-8. ⟨10.1007/978-3-642-30904-5_8⟩

Chapitre d'ouvrage hal-03885239v1
Deposit thumbnail

Automated Proofs for Asymmetric Encryption

J Courant , M Daubignard , C Ene , Pascal Lafourcade , Y Lakhnech

Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, 2010

Chapitre d'ouvrage hal-01759951v1
Deposit thumbnail

Comparing State Spaces in Automatic Security Protocol Analysis

Cas Cremers , Pascal Lafourcade , Philippe Nadeau

Published by Véronique Cortier and Claude Kirchner and Mitsuhiro Okada and Hideki Sakurada. Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration , 2009

Chapitre d'ouvrage hal-01759940v1
Deposit thumbnail

On the Verifiability of (Electronic) Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini

[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015

Rapport (rapport technique) hal-01337411v1
Deposit thumbnail

Secure Auctions Without Cryptography (extended version)

Jannik Dreier , Hugo Jonker , Pascal Lafourcade

[Technical Report] ETH Zurich. 2014

Rapport (rapport technique) hal-01337415v1
Deposit thumbnail

Defining Privacy for Weighted Votes, Single and Multi-voter Coercion

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

[Research Report] VERIMAG. 2012

Rapport (rapport de recherche) hal-01338039v1
Deposit thumbnail

Formal Verification of e-Auction Protocols

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

[Technical Report] TR-2012-17, VERIMAG. 2012

Rapport (rapport technique) hal-01338031v1
Deposit thumbnail

On Unique Decomposition of Processes in the Applied π-Calculus

Jannik Dreier , Cristian Ene , Pascal Lafourcade , Yassine Lakhnech

[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012

Rapport (rapport technique) hal-01338012v1
Deposit thumbnail

A formal taxonomy of privacy in voting protocols

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011

Rapport (rapport technique) hal-01338067v1
Deposit thumbnail

Vote-Independence: A Powerful Privacy Notion for Voting Protocols

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech

[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011

Rapport (rapport technique) hal-01338071v1
Deposit thumbnail

Vérification de protocoles cryptographiques en présence de théories équationnelles

Pascal Lafourcade

Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2006. Français. ⟨NNT : ⟩

Thèse tel-00133494v1