|
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments
Charles Olivier-Anclin
,
Ioana Boureanu
,
Liqun Chen
,
Christopher Newton
,
Tom Chothia
et al.
34th USENIX Security Symposium 2025, Aug 2025, Seattle, United States
Communication dans un congrès
hal-04917364
v1
|
|
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-04998270
v1
|
|
Secure Keyless Multi-Party Storage Scheme
Pascal Lafourcade
,
Lola-Baie Mallordy
,
Charles Olivier-Anclin
,
Léo Robert
Communication dans un congrès
hal-04540895
v1
|
|
Secure Voting Protocol Using Balance Scale
Shohei Kaneko
,
Pascal Lafourcade
,
Lola-Baie Mallordy
,
Daiki Miyahara
,
Maxime Puys
et al.
17th International Symposium on Foundations & Practice of Security (FPS – 2024)., Dec 2024, Montreal, Canada
Communication dans un congrès
hal-04831163
v1
|
|
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-04620483
v1
|
|
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-04489238
v2
|
|
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-04615493
v1
|
|
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-04620468
v1
|
|
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-04620494
v1
|
|
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets
Jannik Dreier
,
Pascal Lafourcade
,
Dhekra Mahmoud
Usenix Security Symposium, Aug 2024, Philadelphia, United States
Communication dans un congrès
hal-04615474
v1
|
|
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles
Shohei Kaneko
,
Pascal Lafourcade
,
Lola-Baie Mallordy
,
Daiki Miyahara
,
Maxime Puys
et al.
Information Security Conference, Oct 2024, Washington DC, United States
Communication dans un congrès
hal-04671562
v2
|
|
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-04620459
v1
|
|
A Unified Symbolic Analysis of WireGuard
Pascal Lafourcade
,
Dhekra Mahmoud
,
Sylvain Ruhault
Communication dans un congrès
hal-04615393
v1
|
|
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-04176704
v3
|
|
Automatic implementations synthesis of secure protocols and attacks from abstract models
Camille Sivelle
,
Lorys Debbah
,
Maxime Puys
,
Pascal Lafourcade
,
Thibault Franco-Rondisson
Communication dans un congrès
hal-03835049
v1
|
|
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-03770735
v1
|
|
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-04085120
v1
|
|
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-03909382
v1
|
|
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-03906880
v2
|
|
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-04182291
v1
|
|
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun
Samuel Hand
,
Alexander Koch
,
Pascal Lafourcade
,
Daiki Miyahara
,
Léo Robert
Communication dans un congrès
hal-04403702
v1
|
|
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-04097883
v2
|
|
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-04008484
v1
|
|
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-03751545
v1
|
|
Perpetual Torus Exploration by Myopic Luminous Robots
Omar Darwich
,
Ahmet-Sefa Ulucan
,
Quentin Bramas
,
Anissa Lamani
,
Anaïs Durand
et al.
Communication dans un congrès
hal-04403537
v1
|
|
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing
Olivier Blazy
,
Pierre-Alain Fouque
,
Thibaut Jacques
,
Pascal Lafourcade
,
Cristina Onete
et al.
Communication dans un congrès
hal-03510612
v1
|
|
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-03832839
v1
|
|
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?
Quentin Bramas
,
Stéphane Devismes
,
Anaïs Durand
,
Pascal Lafourcade
,
Anissa Lamani
Communication dans un congrès
hal-03746703
v1
|
|
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-03657044
v2
|
|
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-03934926
v1
|
|
Local search with weighting schemes for the CG:SHOP 2022 competition
Florian Fontan
,
Pascal Lafourcade
,
Luc Libralesso
,
Benjamin Momège
Communication dans un congrès
hal-03832850
v1
|
|
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-03751547
v1
|
|
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-03754364
v1
|
|
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-03832838
v1
|
|
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-04403799
v1
|
|
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking
Ghada Arfaoui
,
Pierre-Alain Fouque
,
Thibaut Jacques
,
Adina Nedelcu
,
Cristina Onete
et al.
International Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy
Communication dans un congrès
hal-03450625
v1
|
|
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-03819019
v1
|
|
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-04403634
v1
|
|
Generic Plaintext Equality and Inequality Proofs
Olivier Blazy
,
Xavier Bultel
,
Pascal Lafourcade
,
Octavio Perez-Kempner
Communication dans un congrès
hal-03478247
v1
|
|
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-03209911
v1
|
|
Mechanised Models and Proofs for Distance-Bounding
Ioana Boureanu
,
Constantin Cătălin Drăgan
,
François Dupressoir
,
David Gérault
,
Pascal Lafourcade
Communication dans un congrès
hal-04402795
v1
|
|
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-03320980
v1
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
Quentin Bramas
,
Pascal Lafourcade
,
Stéphane Devismes
Communication dans un congrès
hal-03130277
v1
|
|
Fast Cramer-Shoup Cryptosystem
Pascal Lafourcade
,
Léo Robert
,
Demba Sow
Communication dans un congrès
hal-03419423
v1
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality
Arthur Rauch
,
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
,
Anissa Lamani
Communication dans un congrès
hal-03547159
v1
|
|
Infinite Grid Exploration by Disoriented Robots
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
Communication dans un congrès
hal-02559612
v1
|
|
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-03205279
v2
|
|
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)
Loïc Crombez
,
Guilherme D. da Fonseca
,
Yan Gérard
,
Aldo Gonzalez-Lorenzo
,
Pascal Lafourcade
et al.
37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference), Jun 2021, Buffalo, United States. ⟨10.4230/LIPIcs.SoCG.2021.63⟩
Communication dans un congrès
hal-03485486
v1
|
|
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-03435956
v1
|
|
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-02953292
v1
|
|
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-03017693
v1
|
|
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-02559556
v1
|
|
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-02559585
v1
|
|
Secure and Efficient Matrix Multiplication with MapReduce
Radu Ciucanu
,
Matthieu Giraud
,
Pascal Lafourcade
,
Lihua Ye
Communication dans un congrès
hal-02942677
v1
|
|
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-02544920
v1
|
|
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-02559573
v1
|
|
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-03419449
v1
|
|
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-02942717
v1
|
|
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-04446237
v1
|
|
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-03017686
v1
|
|
Card-based ZKP protocols for Takuzu and Juosan
Pascal Lafourcade
,
Daiki Miyahara
,
Takaaki Mizuki
,
Atsuki Nagao
,
Hideaki Sone
et al.
Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Communication dans un congrès
hal-02559600
v1
|
|
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-02942694
v1
|
|
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-02791601
v1
|
|
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-02559617
v1
|
|
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation
Pascal Lafourcade
,
Daiki Miyahara
,
Takaaki Mizuki
,
Tatsuya Sasaki
,
Hideaki Sone
Communication dans un congrès
hal-04402827
v1
|
|
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-02412797
v1
|
|
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-02129149
v1
|
|
Interactive Physical Zero-Knowledge Proof for Norinori
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Daiki Miyahara
,
Takaaki Mizuki
,
Tatsuya Sasaki
et al.
Communication dans un congrès
hal-02150062
v1
|
|
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain
Marwa Chaieb
,
Mirko Koscina
,
Souheib Yousfi
,
Pascal Lafourcade
,
Riadh Robbana
Communication dans un congrès
hal-04445965
v1
|
|
Efficient Invisible and Unlinkable Sanitizable Signatures
Xavier Bultel
,
Pascal Lafourcade
,
Russell W F Lai
,
Giulio Malavolta
,
Dominique Schröder
et al.
International Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China
Communication dans un congrès
hal-01964514
v1
|
|
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-02145822
v1
|
|
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-01959762
v1
|
|
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-02412793
v1
|
|
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-02270418
v1
|
|
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-02412800
v1
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Julio Lopez Fenner
,
David Lucas
,
Jean-Baptiste Orfila
et al.
Communication dans un congrès
hal-01781554
v3
|
|
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-02145833
v1
|
|
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-02412789
v1
|
|
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-02145809
v1
|
|
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-02273966
v1
|
|
A Cryptographer's Conspiracy Santa
Xavier Bultel
,
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
Communication dans un congrès
hal-01777997
v2
|
|
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-01874855
v1
|
|
Physical Zero-Knowledge Proof for Makaro
Xavier Bultel
,
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Daiki Miyahara
et al.
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩
Communication dans un congrès
hal-01898048
v1
|
|
Security Analysis and Psychological Study of Authentication Methods with PIN Codes
Xavier Bultel
,
Jannik Dreier
,
Matthieu Giraud
,
Marie Izaute
,
Timothée Kheyrkhah
et al.
RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩
Communication dans un congrès
hal-01777898
v1
|
|
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-01874859
v1
|
|
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-01903098
v1
|
|
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-01964491
v1
|
|
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-01588562
v1
|
|
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-01527913
v1
|
|
Formal Analysis of Combinations of Secure Protocols
Elliott Blot
,
Jannik Dreier
,
Pascal Lafourcade
Communication dans un congrès
hal-01596010
v2
|
|
Verifiable Private Polynomial Evaluation
Xavier Bultel
,
Manik Lal Das
,
Hardik Gajera
,
David Gérault
,
Matthieu Giraud
et al.
11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Communication dans un congrès
hal-01689825
v1
|
|
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-01927273
v1
|
|
Formal Analyze of a Private Access Control Protocol to a Cloud Storage
Narjes Ben Rajeb
,
Mouhebeddine Berrima
,
Matthieu Giraud
,
Pascal Lafourcade
Communication dans un congrès
hal-01689790
v1
|
|
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-01589196
v1
|
|
Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption
Matthieu Giraud
,
Alexandre Anzala-Yamajako
,
Olivier Bernard
,
Pascal Lafourcade
Communication dans un congrès
hal-01689780
v1
|
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Francis Melemedjian
,
Jean-Baptiste Orfila
,
Pascal Thoniel
Communication dans un congrès
hal-01564696
v1
|
|
SPADE : un protocole délimiteur de distance anonyme et résistant à la fraude terroriste
Xavier Bultel
,
Sébastien Gambs
,
David Gérault
,
Pascal Lafourcade
,
Cristina Onete
et al.
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Communication dans un congrès
hal-01524410
v1
|
|
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol
Gildas Avoine
,
Xavier Bultel
,
Sébastien Gambs
,
David Gerault
,
Pascal Lafourcade
et al.
Asia Conference on Information, Computer and Communications Security, Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩
Communication dans un congrès
hal-01588560
v1
|
|
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-01344750
v2
|
|
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol
Maxime Puys
,
Marie-Laure Potet
,
Pascal Lafourcade
Communication dans un congrès
hal-01366059
v1
|
|
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-01306395
v1
|
|
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-01691940
v2
|
|
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-01382950
v1
|
|
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol
Xavier Bultel
,
Sébastien Gambs
,
David Gérault
,
Pascal Lafourcade
,
Cristina Onete
et al.
9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩
Communication dans un congrès
hal-01510800
v1
|
|
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen
Xavier Bultel
,
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
Communication dans un congrès
hal-01326059
v1
|
|
A Posteriori Openable Public Key Encryption
Xavier Bultel
,
Pascal Lafourcade
Communication dans un congrès
hal-01369535
v1
|
|
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-01588566
v1
|
|
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-01382951
v1
|
|
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-01964502
v1
|
|
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-01248349
v1
|
|
Automated Verification of E-Cash Protocols
Jannik Dreier
,
Ali Kassem
,
Pascal Lafourcade
Communication dans un congrès
hal-01840596
v1
|
|
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-01569756
v1
|
|
A Framework for Analyzing Verifiability in Traditional and Electronic Exams
Jannik Dreier
,
Rosario Giustolisi
,
Ali Kassem
,
Pascal Lafourcade
,
Gabriele Lenzini
Communication dans un congrès
hal-01218138
v1
|
|
Formal Analysis of E-Cash Protocols
Jannik Dreier
,
Ali Kassem
,
Pascal Lafourcade
Communication dans un congrès
hal-01337410
v1
|
|
Survey of Distance Bounding Protocols and Threats
Agnès Brelurut
,
David Gerault
,
Pascal Lafourcade
Communication dans un congrès
hal-01588557
v1
|
|
Les émulateurs pédagogiques
Christian Hoffmann
,
Anne Briançon-Marjollet
,
Philippe Brulard
,
Jean-Luc Cracowski
,
Julien Douady
et al.
Question de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277
Communication dans un congrès
hal-02022397
v1
|
|
Secure key renewal and revocation for Wireless Sensor Networks
Ismail Mansour
,
Gerard Chalhoub
,
Pascal Lafourcade
,
François Delobel
Communication dans un congrès
hal-01759923
v1
|
|
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-01759921
v1
|
|
(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-01759919
v1
|
|
Secure Auctions without Cryptography
Jannik Dreier
,
Hugo Jonker
,
Pascal Lafourcade
Communication dans un congrès
hal-01337414
v1
|
|
Formal Analysis of Electronic Exams
Jannik Dreier
,
Rosario Giustolisi
,
Ali Kassem
,
Pascal Lafourcade
,
Gabriele Lenzini
et al.
First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France
Communication dans un congrès
hal-01338054
v1
|
|
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-00979732
v2
|
|
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-01759853
v1
|
|
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-01759913
v1
|
|
Formal Analysis of Electronic Exams
Jannik Dreier
,
Rosario Giustolisi
,
Ali Kassem
,
Pascal Lafourcade
,
Gabriele Lenzini
et al.
Communication dans un congrès
hal-01337413
v1
|
|
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-00999432
v1
|
|
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-01759222
v1
|
|
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-01759927
v1
|
|
Formal Verification of e-Auction Protocols
Jannik Dreier
,
Pascal Lafourcade
,
Yassine Lakhnech
Communication dans un congrès
hal-01338020
v1
|
|
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-01707722
v1
|
|
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-01338057
v1
|
|
Brandt's Fully Private Auction Protocol Revisited
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
Communication dans un congrès
hal-00745247
v3
|
|
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-01337416
v1
|
|
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-01759925
v1
|
|
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-00813387
v3
|
|
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-01338002
v1
|
|
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-01338064
v1
|
|
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-01759228
v1
|
|
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-01964518
v1
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols
Jannik Dreier
,
Pascal Lafourcade
,
Yassine Lakhnech
Communication dans un congrès
hal-01338070
v1
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion
Jannik Dreier
,
Pascal Lafourcade
,
Yassine Lakhnech
Communication dans un congrès
hal-01338037
v1
|
|
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-01759831
v1
|
|
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-00588086
v1
|
|
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-00769449
v1
|
|
Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records
Jeremie Tharaud
,
Sven Wohlgemuth
,
Isao Echizen
,
Noboru Sonehara
,
Günter Müller
et al.
2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP), Oct 2010, Darmstadt, Germany. ⟨10.1109/IIHMSP.2010.130⟩
Communication dans un congrès
hal-01759931
v1
|
|
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-01701443
v1
|
|
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-01759935
v1
|
|
Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Model
Judicaël Courant
,
Marion Daubignard
,
Cristian Ene
,
Pascal Lafourcade
,
Yassine Lakhnech
Communication dans un congrès
hal-01759943
v1
|
|
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-01759947
v1
|
|
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-01759946
v1
|