Accéder directement au contenu

Pascal Lafourcade

Pascal Lafourcade, Professeur des Université à l'Université Clermont Auvergne
225
Documents
Affiliations actuelles
  • 1063677
Contact

Publications

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
Image document

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
Image document

ZKP protocols for Usowan, Herugolf and Five Cells

Daiki Miyahara , Léo Robert , Pascal Lafourcade , Takaaki Mizuki
Tsinghua Science and Technology, inPress, ⟨10.26599/TST.20xx.9010⟩
Article dans une revue hal-04335703v1
Image document

Automatic implementations synthesis of secure protocols and attacks from abstract models

Camille Sivelle , Lorys Debbah , Maxime Puys , Pascal Lafourcade , Thibault Franco-Rondisson
Lecture Notes in Computer Science, 2023, Secure IT Systems, 13700, pp.234-252. ⟨10.1007/978-3-031-22295-5_13⟩
Article dans une revue hal-03835049v1

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
Image document

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
ACM Journal of Experimental Algorithmics, 2023, ⟨10.1145/3588869⟩
Article dans une revue hal-04051492v1

Perpetual torus exploration by myopic luminous robots

Omar Darwich , Ahmet-Sefa Ulucan , Quentin Bramas , Anissa Lamani , Anaïs Durand
Theoretical Computer Science, 2023, 976, pp.114143. ⟨10.1016/j.tcs.2023.114143⟩
Article dans une revue hal-04323448v1
Image document

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

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
Article dans une revue hal-03553894v1
Image document

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, inPress, ⟨10.1016/j.ic.2021.104858⟩
Article dans une revue hal-03542495v1
Image document

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

Comment fonctionnent les bitcoins ?

Malika More , Pascal Lafourcade
Interstices, 2022
Article dans une revue hal-03750365v1
Image document

Shadoks Approach to Low-Makespan Coordinated Motion Planning

Loïc Crombez , Guilherme D da Fonseca , Yan Gerard , Aldo Gonzalez-Lorenzo , Pascal Lafourcade
ACM Journal of Experimental Algorithmics, 2022, 27, pp.1-17. ⟨10.1145/3524133⟩
Article dans une revue hal-04051506v1

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
Image document

How to Generate Perfect Mazes?

Victor Bellot , Maxime Cautrès , Jean-Marie Favreau , Milan Gonzalez-Thauvin , Pascal Lafourcade
Information Sciences, 2021, ⟨10.1016/j.ins.2021.03.022⟩
Article dans une revue hal-03174952v1

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
Image document

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
Theoretical Computer Science, 2021, 888, pp.41 - 55. ⟨10.1016/j.tcs.2021.07.019⟩
Article dans une revue hal-03419470v1
Image document

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
Image document

MISSION CRYPTOGRAPHIE

Matthieu Giraud , Pascal Lafourcade
Repères, 2020
Article dans une revue hal-04446249v1
Image document

TRIER POUR MIEUX COMPARER

Séverine Fleury , Pascal Lafourcade , Malika More , Mognos Marianne
Repères IREM, 2020, 117
Article dans une revue hal-04446294v1
Image document

Computing AES related-key differential characteristics with constraint programming

David Gérault , Pascal Lafourcade , Marine Minier , Christine Solnon
Artificial Intelligence, 2020, 278, pp.103183 (24). ⟨10.1016/j.artint.2019.103183⟩
Article dans une revue hal-02327893v1
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

Formally and Practically Verifying Flow Integrity Properties in Industrial Systems

Jannik Dreier , Maxime Puys , Marie-Laure Potet , Pascal Lafourcade , Jean-Louis Roch
Computers and Security, 2018, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩
Article dans une revue hal-01959766v2
Image document

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

Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys
Computers and Security, 2017, 71, pp.51-70. ⟨10.1016/j.cose.2017.04.013⟩
Article dans une revue hal-01497866v1
Image document

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
Image document

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
Image document

Analysis of AES, SKINNY, and Others with Constraint Programming

Siwei Sun , David Gerault , Pascal Lafourcade , Qianqian Yang , Yosuke Todo
IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306
Article dans une revue hal-01615487v1
Image document

Vérifier la sécurité de nos communications

Pascal Lafourcade
Interstices, 2017
Article dans une revue hal-01688780v1
Image document

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
Image document

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
Image document

Formal verification of mobile robot protocols

Beatrice Bérard , Pascal Lafourcade , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg
Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue hal-01344903v1
Image document

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
Image document

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
Article dans une revue hal-01707712v1
Image document

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
Image document

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
Image document

Formal Security Analysis of Traditional and Electronic Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini
Communications in Computer and Information Science, 2015, ⟨10.1007/978-3-319-25915-4_16⟩
Article dans une revue hal-01337412v1
Image document

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
Image document

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
Image document

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
Image document

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

Panos Papadimitratos , Marcin Poturalski , Patrick Schaller , Pascal Lafourcade , David Basin
IEEE Communications Magazine, 2008, 46 (2), pp.132 - 139. ⟨10.1109/MCOM.2008.4473095⟩
Article dans une revue hal-01759941v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Generic Blockchain on Generic Human Behavior

Clémentine Gritti , Frédéric A Hayek , Pascal Lafourcade
SECRYPT 2023, Jul 2023, Rome, Italy
Communication dans un congrès hal-04097883v2
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

Samuel Hand , Alexander Koch , Pascal Lafourcade , Daiki Miyahara , Léo Robert
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
Image document

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

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
Image document

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
Image document

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

Aisling Ac Connolly , Jérôme Deschamps , Pascal Lafourcade , Octavio Perez-Kempner
International Conference on Cryptology in India, Dec 2022, Kolkata, India
Communication dans un congrès hal-03832838v1

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
Image document

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
Image document

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
Image document

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
Image document

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing

Olivier Blazy , Pierre-Alain Fouque , Thibaut Jacques , Pascal Lafourcade , Cristina Onete
ACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Communication dans un congrès hal-03510612v1
Image document

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

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani
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
Image document

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
Image document

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
Image document

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
Image document

Perpetual Torus Exploration by Myopic Luminous Robots

Omar Darwich , Ahmet-Sefa Ulucan , Quentin Bramas , Anissa Lamani , Anaïs Durand
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
Image document

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
International Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy
Communication dans un congrès hal-03450625v1
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Communication dans un congrès hal-03130277v1
Image document

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
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
Image document

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
Image document

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

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
Image document

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
Image document

Proof of Behavior

Paul-Marie Grollemund , Pascal Lafourcade , Kevin Thiry-Atighehchi , Ariane Tichit
The 2nd Tokenomics Conference on Blockchain Economics, Security and Protocols, Oct 2020, Toulouse, France
Communication dans un congrès hal-02559573v1
Image document

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

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
Image document

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
Image document

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
Communication dans un congrès hal-02559612v1

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
Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Communication dans un congrès hal-02559600v1

Finding Water on Poleless using Melomaniac Myopic Chameleon Robots

Pascal Lafourcade , Stéphane Devismes , Quentin Bramas
In 10th International Conference on Fun with Algorithms (FUN), Sep 2020, Island of Favignana, Trapani, Italy
Communication dans un congrès hal-02559617v1
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Efficient Invisible and Unlinkable Sanitizable Signatures

Xavier Bultel , Pascal Lafourcade , Russell W F Lai , Giulio Malavolta , Dominique Schröder
International Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China
Communication dans un congrès hal-01964514v1

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
Image document

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
Image document

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 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

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
Image document

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
Image document

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

Jean-Guillaume Dumas , Pascal Lafourcade , Julio Lopez Fenner , David Lucas , Jean-Baptiste Orfila
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
Image document

Interactive Physical Zero-Knowledge Proof for Norinori

Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Tatsuya Sasaki
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Security Analysis and Psychological Study of Authentication Methods with PIN Codes

Xavier Bultel , Jannik Dreier , Matthieu Giraud , Marie Izaute , Timothée Kheyrkhah
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
Image document

Physical Zero-Knowledge Proof for Makaro

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Verifiable Private Polynomial Evaluation

Xavier Bultel , Manik Lal Das , Hardik Gajera , David Gérault , Matthieu Giraud
11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Communication dans un congrès hal-01689825v1
Image document

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

Gildas Avoine , Xavier Bultel , Sébastien Gambs , David Gerault , Pascal Lafourcade
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
Image document

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
Image document

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
Image document

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
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete
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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Question de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277
Communication dans un congrès hal-02022397v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

Formal Analysis of Electronic Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini
First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01338054v1
Image document

(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
Image document

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
Image document

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
Image document

Formal Analysis of Electronic Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini
11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩
Communication dans un congrès hal-01337413v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Communication dans un congrès hal-00769449v1
Image document

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

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
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
Image document

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
Image document

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

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
Image document

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
Image document

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

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

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

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

Pascal Lafourcade , Malika More
2022
Ouvrages hal-03846790v1

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

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
Image document

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
Image document

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

Marwa Chaieb , Mirko Koscina , Souheib Yousfi , Pascal Lafourcade , Riadh Robbana
ICTAC 2019: Theoretical Aspects of Computing – ICTAC 2019, 11884, Springer International Publishing, pp.292-312, 2019, Lecture Notes in Computer Science, 978-3-030-32504-6. ⟨10.1007/978-3-030-32505-3_17⟩
Chapitre d'ouvrage hal-04445965v1
Image document

Bitcoin : une monnaie dématérialisée

Pascal Lafourcade , Jean-Guillaume Dumas
Les Big Data à découvert, CNRS Editions, 2017
Chapitre d'ouvrage hal-02291296v1
Image document

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
Image document

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
Image document

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
Image document

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