Pascal Lafourcade Pascal Lafourcade, Professeur des Université à l'Université Clermont Auvergne

Publications

Article dans une revue (51)

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
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
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
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
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
Perpetual torus exploration by myopic luminous robots Omar Darwich,Ahmet-Sefa Ulucan,Quentin Bramas,Anissa Lamani,Anaïs Durandet al. Theoretical Computer Science, 2023, 976, pp.114143. ⟨10.1016/j.tcs.2023.114143⟩ Article dans une revue hal-04323448v1
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-Lorenzoet al. ACM Journal of Experimental Algorithmics, 2023, ⟨10.1145/3588869⟩ Article dans une revue hal-04051492v1
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
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
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
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
Shadoks Approach to Low-Makespan Coordinated Motion Planning Loïc Crombez,Guilherme D da Fonseca,Yan Gerard,Aldo Gonzalez-Lorenzo,Pascal Lafourcadeet 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
How to Generate Perfect Mazes? Victor Bellot,Maxime Cautrès,Jean-Marie Favreau,Milan Gonzalez-Thauvin,Pascal Lafourcadeet 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
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition Pascal Lafourcade,Daiki Miyahara,Takaaki Mizuki,Léo Robert,Tatsuya Sasakiet al. Theoretical Computer Science, 2021, 888, pp.41 - 55. ⟨10.1016/j.tcs.2021.07.019⟩ Article dans une revue hal-03419470v1
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
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
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
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
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
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
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
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
Je suis un ordinateur Pascal Lafourcade,Malika More Tangente Éducation, 2018, 42-43 Article dans une revue hal-04446304v1
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
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
Analysis of AES, SKINNY, and Others with Constraint Programming Siwei Sun,David Gerault,Pascal Lafourcade,Qianqian Yang,Yosuke Todoet al. IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306 Article dans une revue hal-01615487v1
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
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
Vérifier la sécurité de nos communications Pascal Lafourcade Interstices, 2017 Article dans une revue hal-01688780v1
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
Formal verification of mobile robot protocols Beatrice Bérard,Pascal Lafourcade,Laure Millet,Maria Potop-Butucaru,Yann Thierry-Mieget al. Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩ Article dans une revue hal-01344903v1
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
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
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
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
Formal Security Analysis of Traditional and Electronic Exams Jannik Dreier,Rosario Giustolisi,Ali Kassem,Pascal Lafourcade,Gabriele Lenziniet al. Communications in Computer and Information Science, 2015, ⟨10.1007/978-3-319-25915-4_16⟩ Article dans une revue hal-01337412v1
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
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
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
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
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
Secure Neighborhood Discovery: A Fundamental Element for Mobile Ad Hoc Networking Panos Papadimitratos,Marcin Poturalski,Patrick Schaller,Pascal Lafourcade,David Basinet al. IEEE Communications Magazine, 2008, 46 (2), pp.132 - 139. ⟨10.1109/MCOM.2008.4473095⟩ Article dans une revue hal-01759941v1
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
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
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
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

Communication dans un congrès (154)

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
Tilepaint and Aquarium Puzzles in Periodic Grids Yan Gerard,Pascal Lafourcade,Lola-Baie Mallordy,Léo Robert 4th International Conference on Discrete Geometry and Mathematical Morphology-DGMM, International Association for Pattern Recognition (IAPR), Nov 2025, Groningen, Netherlands. pp.103-117, ⟨10.1007/978-3-032-09544-2_8⟩ Communication dans un congrès hal-05560664v1
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 Milleret 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
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
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments Charles Olivier-Anclin,Ioana Boureanu,Liqun Chen,Christopher Newton,Tom Chothiaet al. 34th USENIX Security Symposium 2025, Aug 2025, Seattle, United States Communication dans un congrès hal-04917364v1
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
Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended version Pascal Lafourcade,Elsa Lopez Perez,Charles Olivier-Anclin,Cristina Onete,Clément Paponet al. ESORICS 2025 - 30th European Symposium on Research in Computer Security, Sep 2025, Toulouse, France Communication dans un congrès hal-05126079v1
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
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
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
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
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
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
Secure Voting Protocol Using Balance Scale Shohei Kaneko,Pascal Lafourcade,Lola-Baie Mallordy,Daiki Miyahara,Maxime Puyset al. 17th International Symposium on Foundations & Practice of Security (FPS – 2024)., Dec 2024, Montreal, Canada Communication dans un congrès hal-04831163v1
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles Shohei Kaneko,Pascal Lafourcade,Lola-Baie Mallordy,Daiki Miyahara,Maxime Puyset al. Information Security Conference, Oct 2024, Washington DC, United States Communication dans un congrès hal-04671562v2
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing Olivier Blazy,Pierre-Alain Fouque,Thibaut Jacques,Pascal Lafourcade,Cristina Oneteet 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
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
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
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
Perpetual Torus Exploration by Myopic Luminous Robots Omar Darwich,Ahmet-Sefa Ulucan,Quentin Bramas,Anissa Lamani,Anaïs Durandet 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
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
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
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
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking Ghada Arfaoui,Pierre-Alain Fouque,Thibaut Jacques,Adina Nedelcu,Cristina Oneteet 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
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
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
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
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
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
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
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
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
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
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
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge) Loïc Crombez,Guilherme D. da Fonseca,Yan Gérard,Aldo Gonzalez-Lorenzo,Pascal Lafourcadeet 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
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
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
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
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
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
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
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
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
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
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
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 Soneet al. Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy Communication dans un congrès hal-02559600v1
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
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
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
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
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
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
Efficient Invisible and Unlinkable Sanitizable Signatures Xavier Bultel,Pascal Lafourcade,Russell W F Lai,Giulio Malavolta,Dominique Schröderet al. International Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China Communication dans un congrès hal-01964514v1
Interactive Physical Zero-Knowledge Proof for Norinori Jean-Guillaume Dumas,Pascal Lafourcade,Daiki Miyahara,Takaaki Mizuki,Tatsuya Sasakiet 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
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
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 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
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm Jean-Guillaume Dumas,Pascal Lafourcade,Julio Lopez Fenner,David Lucas,Jean-Baptiste Orfilaet 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
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
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
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
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
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
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
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
Physical Zero-Knowledge Proof for Makaro Xavier Bultel,Jannik Dreier,Jean-Guillaume Dumas,Pascal Lafourcade,Daiki Miyaharaet 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
Security Analysis and Psychological Study of Authentication Methods with PIN Codes Xavier Bultel,Jannik Dreier,Matthieu Giraud,Marie Izaute,Timothée Kheyrkhahet 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
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
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
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
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
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
Verifiable Private Polynomial Evaluation Xavier Bultel,Manik Lal Das,Hardik Gajera,David Gérault,Matthieu Giraudet al. 11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506 Communication dans un congrès hal-01689825v1
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
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
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
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
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
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
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 Oneteet 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
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol Gildas Avoine,Xavier Bultel,Sébastien Gambs,David Gerault,Pascal Lafourcadeet 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
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
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
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
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
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol Xavier Bultel,Sébastien Gambs,David Gérault,Pascal Lafourcade,Cristina Oneteet 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
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
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
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
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
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
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
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
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
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
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
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 Douadyet al. Question de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277 Communication dans un congrès hal-02022397v1
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
Formal Analysis of Electronic Exams Jannik Dreier,Rosario Giustolisi,Ali Kassem,Pascal Lafourcade,Gabriele Lenziniet al. First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France Communication dans un congrès hal-01338054v1
(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
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
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
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
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
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
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
Formal Analysis of Electronic Exams Jannik Dreier,Rosario Giustolisi,Ali Kassem,Pascal Lafourcade,Gabriele Lenziniet al. 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩ Communication dans un congrès hal-01337413v1
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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ülleret 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
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
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
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
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

Ouvrages (14)

NFT 사용설명서 플러스 Jean-Guillaume Dumas,Pascal Lafourcade,Etienne Roudeix,Ariane Tichit,Sébastien Varretteet 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
Architectures PKI et communications sécurisées Jean-Guillaume Dumas,Pascal Lafourcade,Patrick Redon Dunod, pp.400, 2015, Info Sup, 9782100726158 Ouvrages hal-01445289v1
Comment s'exercer à apprendre ? Pascal Lafourcade,Isabelle Le Brun 2015 Ouvrages hal-01874860v1
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

Chapitre d'ouvrage (8)

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

Autre publication scientifique (3)

Comment fonctionnent les bitcoins ? Malika More,Pascal Lafourcade 2022 Autre publication scientifique hal-03750365v1
MISSION CRYPTOGRAPHIE Matthieu Giraud,Pascal Lafourcade 2020 Autre publication scientifique hal-04446249v1
TRIER POUR MIEUX COMPARER Séverine Fleury,Pascal Lafourcade,Malika More,Mognos Marianne 2020 Autre publication scientifique hal-04446294v1

Pré-publication, Document de travail (5)

77 Shades of Grey Quentin Bramas,Stéphane Devismes,Anaïs Durand,Pascal Lafourcade,Anissa Lamani 2026 Pré-publication, Document de travail hal-05504522v1
La Blockchain, avenir des monnaies locales ? Ariane Tichit,Corentin Elissée,Frédéric Hayek,Pascal Lafourcade 2022 Pré-publication, Document de travail hal-03659241v1
Formal Analysis of Combinations of Secure Protocols Elliott Blot,Jannik Dreier,Pascal Lafourcade 2017 Pré-publication, Document de travail hal-01558552v5
Les monnaies virtuelles décentralisées sont-elles des outils d’avenir ? Ariane Tichit,Pascal Lafourcade,Vincent Mazenod 2017 Pré-publication, Document de travail halshs-01467329v1
How to prevent type-flaw attacks on security protocols under algebraic properties Sreekanth Malladi,Pascal Lafourcade 2009 Pré-publication, Document de travail hal-01707737v1

Rapport (7)

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
Secure Auctions Without Cryptography (extended version) Jannik Dreier,Hugo Jonker,Pascal Lafourcade [Technical Report] ETH Zurich. 2014 Rapport (rapport technique) hal-01337415v1
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
Formal Verification of e-Auction Protocols Jannik Dreier,Pascal Lafourcade,Yassine Lakhnech [Technical Report] TR-2012-17, VERIMAG. 2012 Rapport (rapport technique) hal-01338031v1
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
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
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

Thèse (1)

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

HDR (1)

Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks Pascal Lafourcade Cryptography and Security [cs.CR]. Université de Grenoble, 2012 HDR tel-00807568v1

Cours (1)

Security and Cryptography just by images Pascal Lafourcade Doctoral. Grenoble, France. 2009, pp.52 Cours hal-04449291v1

Vidéo (2)

La Révolution Blockchain, conférence donnée au festival &quot;les Maths dans tous leurs états&quot; organisé par l'association les Maths en scène. Pascal Lafourcade 2020 Vidéo hal-03884704v1
Fonctionnement et appropriation de la Blockchain : des success stories en auvergne. Block4coop Pascal Lafourcade 2020 Vidéo hal-03885087v1

Son (2)

Podcast No Limit Sécu Episode #332 about the book of Pascal Lafourcade &quot;25 énigmes ludiques pour s’initier à la cryptographie Pascal Lafourcade 2021 Son hal-03884685v1
Episode #347 No Limit Sécu about REDOCS 21 Pascal Lafourcade 2021 Son hal-03884692v1