Search - Université Clermont Auvergne Access content directly

Filter your results

167 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

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

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

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

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

Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete , et al.
9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩
Conference papers hal-01510800v1
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

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

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

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

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

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

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

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

Linear Generalized ElGamal Encryption Scheme

Pascal Lafourcade , Léo Robert , Demba Sow
International Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France
Conference papers 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
Conference papers hal-02559585v1
Image document

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
Computability in Europe Conference (CiE), Jul 2021, à distance, Belgium
Conference papers hal-03209911v1
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⟩
Conference papers hal-01840596v1
Image document

Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures

Xavier Bultel , Pascal Lafourcade
International Conference on Cryptology and Network Security CANS 17, 2017, Hong Kong, China
Conference papers hal-01980172v1
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
Conference papers hal-01759222v1
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
Conference papers hal-01569756v1
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
Conference papers hal-01759921v1
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⟩
Conference papers hal-01759923v1
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
Conference papers hal-01759927v1
Image document

Interactive Physical Zero-Knowledge Proof for Norinori

Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Tatsuya Sasaki , et al.
The 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩
Conference papers hal-02150062v1