| 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended version
        
                            
                                                                                                            Pascal Lafourcade
                                                                ,
                                                                                                                                Elsa Lopez Perez
                                                                ,
                                                                                                                                Charles Olivier-Anclin
                                                                ,
                                                                                                                                Cristina Onete
                                                                ,
                                                                                                                                Clément Papon
                                                                                            et al.
                            
                 
                            ESORICS 2025 - 30th European Symposium on Research in Computer Security, Sep 2025, Toulouse, France 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-05126079
                                            v1
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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 Miller
                                                                                            et 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-05213262
                                            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                 
                        
                     
                                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            Generic Plaintext Equality and Inequality Proofs
        
                            
                                                                                                            Olivier Blazy
                                                                ,
                                                                                                                                Xavier Bultel
                                                                ,
                                                                                                                                Pascal Lafourcade
                                                                ,
                                                                                                                                Octavio Perez-Kempner
                                                                                    
                 
                            
                 Communication dans un congrès
                    
        
        
            
                
                    hal-03478247
                                            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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-02559573
                                            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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 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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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 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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            (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.
                            
                 
                            
                 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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            Formal Verification of e-Auction Protocols
        
                            
                                                                                                            Jannik Dreier
                                                                ,
                                                                                                                                Pascal Lafourcade
                                                                ,
                                                                                                                                Yassine Lakhnech
                                                                                    
                 
                            
                 Communication dans un congrès
                    
        
        
            
                
                    hal-01338020
                                            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            Brandt's Fully Private Auction Protocol Revisited
        
                            
                                                                                                            Jannik Dreier
                                                                ,
                                                                                                                                Jean-Guillaume Dumas
                                                                ,
                                                                                                                                Pascal Lafourcade
                                                                                    
                 
                            
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00745247
                                            v3
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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
                                    
            
        
     | 
                                                                                
    | 
        
                            
                    
     | 
        
        
            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,  ⟨10.1007/978-3-642-21969-6_22⟩ 
                 Communication dans un congrès
                    
        
        
            
                
                    hal-00769449
                                            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
                                    
            
        
     | 
                                                                                
    | 
        
                                                
     | 
        
        
            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
                                    
            
        
     |