Search - Archive ouverte HAL Access content directly

Filter your results

189 Results
authIdHal_s : pascalafourcade

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
Book sections hal-02639358v1
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
Conference papers hal-02559612v1
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⟩
Journal articles hal-01653884v1

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
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2021, 12, pp.85-110. ⟨10.22667/JOWUA.2021.03.31.085⟩
Journal articles hal-03451232v1
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
Conference papers hal-03419449v1
Image document

Near-collisions and Their Impact on Biometric Security

Axel Durbet , Paul-Marie Grollemund , Pascal Lafourcade , Kevin Thiry-Atighehchi
SECRYPT, Jul 2022, Lisbon, Portugal. pp.382-389, ⟨10.5220/0011279200003283⟩
Conference papers hal-03751547v1
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
Conference papers hal-03205279v2
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, INDOCRYP, Dec 2022, Kolkata, India
Conference papers hal-03832838v1
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
Conference papers hal-01759947v1
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
Conference papers hal-01959762v1

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⟩
Conference papers hal-02270418v1
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⟩
Journal articles hal-00496353v1
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⟩
Conference papers hal-01326059v1
Image document

Defining Verifiability in e-Auction Protocols

Jannik Dreier , Hugo Jonker , Pascal Lafourcade
8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS '13), ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩
Conference papers hal-01337416v1
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⟩
Conference papers hal-01338064v1

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
Conference papers hal-02942717v1

Comment s'exercer à apprendre ?

Pascal Lafourcade , Isabelle Le Brun
Books hal-01874860v1
Image document

Bitcoin : une monnaie dématérialisée

Pascal Lafourcade , Jean-Guillaume Dumas
Les Big Data à découvert, CNRS Editions, 2017
Book sections hal-02291296v1
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⟩
Conference papers hal-01382950v1
Image document

Towards Secure TMIS Protocols

David Gérault , Pascal Lafourcade
International Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Conference papers hal-02412793v1
Image document

Formal verification of mobile robot protocols

Beatrice Bérard , Pascal Lafourcade , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg et al.
Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Journal articles hal-01344903v1
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
Conference papers hal-01707722v1
Image document

Verifiable Private Polynomial Evaluation

Xavier Bultel , Manik Lal Das , Hardik Gajera , David Gérault , Matthieu Giraud et al.
11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Conference papers hal-01689825v1
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⟩
Conference papers hal-01689790v1
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
Conference papers hal-00588086v1
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⟩
Journal articles hal-01593137v1
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
Conference papers hal-01589196v1

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⟩
Conference papers hal-02942677v1
Image document

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

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Luc Libralesso , Takaaki Mizuki et al.
Information and Computation, In press, ⟨10.1016/j.ic.2021.104858⟩
Journal articles hal-03542495v1
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⟩
Conference papers hal-03320980v1