Domaines de recherche
Publications
Publications
|
|
Sanitizable Signatures with Different Admissibility Policies for Multiple SanitizersACM Asia Conference on Computer and Communications Security (ASIA CCS '26), Jun 2026, Bangalore, India. ⟨10.1145/3779208.3785265⟩ |
Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocolASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security, Aug 2025, Hanoi, Vietnam. pp.231-247, ⟨10.1145/3708821.3733910⟩ |
|
|
|
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025), Aug 2025, Hanoi, Vietnam |
|
|
Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended versionESORICS 2025 - 30th European Symposium on Research in Computer Security, Sep 2025, Toulouse, France |
|
|
A Tale of Two Worlds, a Formal Story of WireGuard HybridizationUsenix Security 2025, Aug 2025, Seattle, United States. pp.4937-4956 |
|
|
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments34th USENIX Security Symposium 2025, Aug 2025, Seattle, United States |
|
|
A Unified Symbolic Analysis of WireGuardUsenix Network and Distributed System Security Symposium, Feb 2024, San Diego (CA), United States. ⟨10.14722/ndss.2024.24364⟩ |
|
|
Balance-Based ZKP Protocols for Pencil-and-Paper PuzzlesInformation Security Conference, Oct 2024, Washington DC, United States |
|
|
iUC-Secure Distributed File Transfer From Standard Attribute-based EncryptionInternational Conference on Cryptology in Africa, Jul 2024, Douala, Cameroon |
|
|
Optimal Asynchronous Perpetual Grid ExplorationStabilization, 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⟩ |
|
|
Formal Analysis of C-ITS PKI protocolsSECRYPT 2024 : International Conference on Information Security and Cryptography, Jul 2024, Dijon, France |
|
|
Cryptographic cryptid protocols: How to play cryptid with cheatersCANS 2024 - 23rd International Conference on Cryptology And Network Security, Sep 2024, Cambridge, United Kingdom |
|
|
Secure Voting Protocol Using Balance Scale17th International Symposium on Foundations & Practice of Security (FPS – 2024)., Dec 2024, Montreal, Canada |
|
|
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-NetsUSENIX-Security 2024 - USENIX Security Symposium, USENIX Association, Aug 2024, Philadelphia, United States |
|
|
How did they design this game? Swish: complexity and unplayable positions12th 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⟩ |
|
|
Transferable, Auditable and Anonymous Ticketing Protocol2024 Asia Conference on Information, Computer and Communications Security, Jul 2024, Singapore, Singapore |
|
|
Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France |
|
|
Generic and Universal Local Cryptocurrency: LCoinBRAINS - Conference on Blockchain Research & Applications for Innovative Networks and Services, Oct 2023, Paris, France |
|
|
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishmentUSENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States. pp.5917--5934 |
|
|
Automatic implementations synthesis of secure protocols and attacks from abstract modelsNordic Workshop on Secure IT Systems, 2022, Rekyavik, Iceland. pp.234-252, ⟨10.1007/978-3-031-22295-5_13⟩ |
|
|
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)ACM Symposium on Applied Computing, 2023, Tallinn, Estonia |
|
|
Generic Privacy Preserving Private Permissioned BlockchainsACM Symposium on Applied Computing, Mar 2023, Tallinn, Estonia |
|
|
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract)Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.6863-6867, ⟨10.24963/ijcai.2023/772⟩ |
|
|
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-SunIWSEC : International Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩ |
|
|
Practical Construction for Secure Trick-Taking Games Even With Cards Set AsideFC2023 - Twenty-Seventh Financial Cryptography and Data Security Conference, International Financial Cryptography Association, May 2023, Bol, Brač, Croatia |
|
|
Generic Blockchain on Generic Human BehaviorSECRYPT 2023, Jul 2023, Rome, Italy |
|
|
Near-collisions and Their Impact on Biometric SecurityInternational Conference on Security and Cryptography (SECRYPT), Jul 2022, Lisbon, Portugal. pp.382-389, ⟨10.5220/0011279200003283⟩ |
|
|
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger FabricINDOCRYPT : International Conference on Cryptology in India, Dec 2022, Kolkata, India |
SAMBA: A System for Secure Federated Multi-Armed Bandits2022 IEEE 38th International Conference on Data Engineering (ICDE), May 2022, Online (hosted in Kuala Lumpur), Malaysia. pp.3154-3157, ⟨10.1109/ICDE53745.2022.00286⟩ |
|
|
|
Local search with weighting schemes for the CG:SHOP 2022 competition38th International Symposium on Computational Geometry, SoCG, Jun 2022, Berlin, Germany. ⟨10.4230/LIPIcs.SoCG.2022.73⟩ |
|
|
Authentication Attacks on Projection-based Cancelable Biometric SchemesInternational Conference on Security and Cryptography (SECRYPT), Jul 2022, Lisbon, Portugal. pp.568-573, ⟨10.5220/0011277100003283⟩ |
|
|
Perpetual Torus Exploration by Myopic Luminous RobotsSymposium on Stabilization, Safety, and Security of Distributed Systems, 2022, Clermont-ferrand, France. pp.164-177, ⟨10.1007/978-3-031-21017-4_11⟩ |
|
|
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?FUN : Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩ |
|
|
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence ClassesInternational Conference on Practice and Theory in Public Key Cryptography, Mar 2022, Tokyo, Japan |
|
|
Exploration perpétuelle : ça s'en va et ça revientAlgoTel 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⟩ |
|
|
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALingACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩ |
|
|
A Survey on Identity-based Blind SignatureThe 15th International Symposium on Foundations & Practice of Security (FPS – 2022), Dec 2022, Ottawa, Canada |
|
|
Hide a Liar: Card-Based ZKP Protocol for UsowanInternational 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⟩ |
|
|
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-LinkingInternational Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy |
La blockchain : avenir des monnaies locales ?Alter-Crypto-2022 : Crypto-monnaies et autres monnaies alternatives numériques, Jun 2022, Lyon, France |
|
|
|
Card-Based ZKP Protocol for NurimisakiSymposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferand, France. pp.285-298, ⟨10.1007/978-3-031-21017-4_19⟩ |
|
|
Generic Plaintext Equality and Inequality ProofsFinancial Cryptography and Data Security Conference, 2021, Online, Unknown Region. pp.415--435, ⟨10.1007/978-3-662-64322-8\_20⟩ |
|
|
Infinite Grid Exploration by Disoriented Robots8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco. pp.129-145, ⟨10.1007/978-3-030-67087-0_9⟩ |
|
|
Un jour sans finALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France |
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality9th International Conference, NETYS 2021, May 2021, Virtual, France. pp.95-110, ⟨10.1007/978-3-030-91014-3_7⟩ |
|
|
Fast Cramer-Shoup Cryptosystem18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩ |
|
|
Mechanised Models and Proofs for Distance-BoundingIEEE Computer Security Foundations Symposium (was CSFW), 2021, Dubrovnik, Croatia. pp.1-16, ⟨10.1109/CSF51468.2021.00049⟩ |
|
|
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriComputability in Europe: Logic and Theory of Algorithms, Jul 2021, à distance, Belgium |
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common ChiralityInternational Conference on Distributed Computing and Networking, 2021, Nara, Japan. pp.76-85, ⟨10.1145/3427796.3427834⟩ |
|
|
Automatic Generation of Declarative Models for Differential CryptanalysisCP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.19⟩ |
|
|
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)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⟩ |
|
|
Generic Construction for Identity-based Proxy Blind SignatureFPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France |
Secure Outsourcing of Multi-Armed Bandits19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020), Dec 2020, Conférence online, China. pp.202-209 |
|
|
|
Physical Zero-Knowledge Proof for Suguru Puzzle22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States |
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL EvaluationInternational Semantic Web Conference (ISWC) - Demo Track, Nov 2020, Conférence online, Greece |
|
|
|
Fast Short and Fast Linear Cramer-ShoupFoundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France |
|
|
Une preuve pour le lycée de l'indécidabilité du problème de l'arrêtDidapro 8 – DidaSTIC L’informatique, objets d’enseignements – enjeux épistémologiques, didactique et de formation, Feb 2020, Lille, France |
|
|
Proof of Behavior2. Tokenomics Conference on Blockchain Economics, Security and Protocols, Oct 2020, Toulouse, France |
|
|
Linear Generalized ElGamal Encryption SchemeInternational Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France |
|
|
How to Teach the Undecidability of Malware Detection Problem and Halting ProblemWISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia |
Secure and Efficient Matrix Multiplication with MapReduceSECRYPT/ICETE - Revised Selected Papers, Jul 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-52686-3_6⟩ |
|
|
|
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation34th 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⟩ |
|
|
A Silver Bullet? A Comparison of Accountants and Developers Mental Models in the Raise of BlockchainIn proceedings of the 15th International Conference on Availability, Reliability and Security, ARES, Jul 2020, Dublin, Ireland. ⟨10.1145/3407023.3409193⟩ |
|
|
Finding Water on Poleless using Melomaniac Myopic Chameleon RobotsTenth 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⟩ |
Secure Cumulative Reward Maximization in Linear Stochastic BanditsInternational Conference on Provable and Practical Security (ProvSec), Nov 2020, Conférence online, Singapore. pp.257-277, ⟨10.1007/978-3-030-62576-4_13⟩ |
|
Card-based ZKP protocols for Takuzu and JuosanConference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy |
|
|
|
Vers l'infini et au delàALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France |
|
|
Get-your-ID: Decentralized Proof of IdentityInternational Symposium on Foundations & Practice of Security, Nov 2019, Toulouse, France |
|
|
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving ComputationISPEC : Information Security Practice and Experience Conference, 2019, Kuala Lumpur, Malaysia. pp.135-151, ⟨10.1007/978-3-030-34339-2_8⟩ |
|
|
Secure Strassen-Winograd Matrix Multiplication with MapReduceInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.220-227 |
|
|
Secure Trick-Taking Game Protocols How to Play Online Spades with CheatersFinancial Cryptography and Data Security Conference, Feb 2019, Basse terre, Saint Kitts and Nevis |
|
|
Towards Secure TMIS ProtocolsInternational Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France |
Secure Best Arm Identification in Multi-Armed BanditsISPEC 2019 : The 15th International Conference on Information Security Practice and Experience, Nov 2019, Kuala Lumpur, Malaysia. ⟨10.1007/978-3-030-34339-2_9⟩ |
|
|
|
Efficient Invisible and Unlinkable Sanitizable SignaturesInternational Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China |
|
|
Brief Announcement: Infinite Grid Exploration by Disoriented Robots26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy |
|
|
Interactive Physical Zero-Knowledge Proof for NorinoriThe 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩ |
|
|
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned BlockchainInternational Colloquium on Theoretical Aspects of Computing, 2019, Hammamet (Tunisie), Tunisia. pp.292-312, ⟨10.1007/978-3-030-32505-3_17⟩ |
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd AlgorithmThe 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩ |
|
|
Security Analysis of Auctionity: a blockchain based e-auctionInternational Symposium on Foundations & Practice of Security FPS 19, Nov 2019, Toulouse, France |
|
|
Verifiable and Private Oblivious Polynomial Evaluation13th 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⟩ |
|
|
DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-votingInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic |
|
|
Light Cryptography12th 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⟩ |
Secure Intersection with MapReduceInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.236-243, ⟨10.5220/0007918902360243⟩ |
|
|
|
A Cryptographer's Conspiracy SantaFUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩ |
|
|
Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol15th European Mediterranean and Middle Eastern Conference on Information Systems, Oct 2018, Limassol, Cyprus |
|
|
Security Analysis and Psychological Study of Authentication Methods with PIN CodesRCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩ |
|
|
Physical Zero-Knowledge Proof for MakaroSSS 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⟩ |
|
|
Secure Joins with MapReduceFPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada |
|
|
Secure Grouping and Aggregation with MapReduce15th International Conference on Information Security and Cryptography, SECRYPT'18, Jul 2018, Porto, Portugal. pp.514--521 |
|
|
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring SignaturesInternational Conference on Cryptology and Network Security, 2017, Hong Kong, China |
|
|
Breaking and fixing the HB+DB protocolACM Conference on Security and Privacy in Wireless and Mobile Networks, Jul 2017, Boston, United States. pp.241 - 246, ⟨10.1145/3098243.3098263⟩ |
|
|
Formal Analysis of Combinations of Secure ProtocolsFPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.53-67, ⟨10.1007/978-3-319-75650-9_4⟩ |
|
|
Formally Verifying Flow Properties in Industrial SystemsSECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩ |
|
|
Secure Matrix Multiplication with MapReduce12th International Conference on Availability, Reliability and Security ARES, Aug 2017, Reggio Di Calabria, Italy |
|
|
Verifiable Private Polynomial Evaluation11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506 |
|
|
Formal Analyze of a Private Access Control Protocol to a Cloud Storage14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461604950500⟩ |
|
|
Duck Attack on Accountable Distributed Systems14th International Conference on Mobile and Ubiquitous Systems: Networks and Services MobiQuitous 2017, Nov 2017, Melbourne, Australia. pp.1-8 |
|
|
SPADE : un protocole délimiteur de distance anonyme et résistant à la fraude terroristeALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France |
|
|
Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461202000211⟩ |
|
|
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding ProtocolAsia Conference on Information, Computer and Communications Security, Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩ |
|
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩ |
|
|
Private Multi-party Matrix Multiplication and Trust Computations13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩ |
|
|
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol35th International Conference, SAFECOMP 2016, Sep 2016, Trondheim, Norway. ⟨10.1007/978-3-319-45477-1_6⟩ |
|
|
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩ |
|
|
Two Secure Anonymous Proxy-based Data Storages13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016, Lisbon, Portugal. pp.251--258, ⟨10.5220/0005962402510258⟩ |
|
|
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩ |
|
|
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties8th 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⟩ |
|
|
k-Times Full Traceable Ring Signature11th International Conference on Availability, Reliability and Security (ARES 2016), Aug 2016, Salzburg, France. pp.39--48, ⟨10.1109/ARES.2016.37⟩ |
|
|
A Posteriori Openable Public Key Encryption31st IFIP Information Security & Privacy Conference (IFIP SEC), May 2016, Ghent, Belgium. pp.17-31, ⟨10.1007/978-3-319-33630-5_2⟩ |
|
|
Formal Analysis of Key Management in mobile WimaxThe 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16, 2016, Khenchela, Algeria |
|
|
Anonymizable Ring Signature Without Pairing9th International Symposium on Foundations & Practice of Security, 2016, Québec, Canada |
|
|
Related-Key Cryptanalysis of MidoriInternational Conference on Cryptology in India, Dec 2016, Kolkata, India |
|
|
Monitoring Electronic Exams6th 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⟩ |
|
|
A Framework for Analyzing Verifiability in Traditional and Electronic ExamsInformation Security Practice and Experience Conference, May 2015, beijin, China. ⟨10.1007/978-3-319-17533-1_35⟩ |
|
|
Formal Analysis of E-Cash Protocols12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. ⟨10.5220/0005544500650075⟩ |
|
|
Automated Verification of E-Cash ProtocolsICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. ⟨10.1007/978-3-319-30222-5_11⟩ |
|
|
SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor NetworksInternational Conference on Ad Hoc Networks (Adhocnets), 2015, San Remo Riviera, Italy |
Les émulateurs pédagogiquesQuestion de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277 |
|
|
|
Survey of Distance Bounding Protocols and ThreatsFoundations and Practice of Security (FPS), Oct 2015, Clermont Ferrand, France. pp.29 - 49, ⟨10.1007/978-3-319-30303-1_3⟩ |
|
|
Multihop Node Authentication Mechanisms for Wireless Sensor Networks ⋆Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014, Jun 2014, Benidorm, Spain |
|
|
Secure Multihop Key Establishment Protocols for Wireless Sensor NetworksCryptography and Security Systems - Third International Conference, CSS 2014, Lublin, Poland, Sep 2014, Lublin, Poland |
|
|
Mécanismes d'authentification pour des réseaux de capteurs sans fil multi-sautsALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4 |
|
|
Secure key renewal and revocation for Wireless Sensor NetworksIEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada. ⟨10.1109/LCN.2014.6925797⟩ |
|
|
Formal Verification of e-Reputation ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014,, Nov 2014, Montréal, Canada |
Formal Analysis of Electronic ExamsFirst Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France |
|
|
|
(In)Corruptibility of Routing ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014, Nov 2014, Montréal, Canada |
|
|
Secure Auctions without Cryptography7th International Conference on Fun with Algorithms - FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩ |
|
|
Formal Analysis of Electronic Exams11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩ |
|
|
Performances of Cryptographic AccumulatorsThe 39th IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada |
|
|
Defining Verifiability in e-Auction ProtocolsAsia Conference on Information, Computer and Communications Security, ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩ |
|
|
Brandt's Fully Private Auction Protocol RevisitedAfricacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩ |
|
|
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks: Corrected VersionFoundations and Practice of Security - 6th International Symposium,, Oct 2013, La Rochelle,, France |
|
|
Automated Security Proofs for Almost-Universal Hash for MAC VerificationComputer Security - {ESORICS} 2013 - 18th European Symposium on Research in Computer Security,, Sep 2013, Egham, United Kingdom |
|
|
Formal Verification of e-Auction ProtocolsInternational Conference on Principles of Security and Trust, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩ |
|
|
Discovering Flaws in IDS through Analysis of their InputsThe Sixth International Symposium on Foundations and Practice of Security FPS’2013, 2013, La Rochelle, France |
|
|
Verifiability in e-Auction Protocols1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy |
|
|
SR3: Secure Resilient Reputation-based Routing2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), May 2013, Cambridge, France. ⟨10.1109/DCOSS.2013.33⟩ |
|
|
Routage sécurisé et résilient pour réseaux de capteurs sans fil15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4 |
|
|
On Unique Decomposition of Processes in the Applied π-Calculus16th 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⟩ |
|
|
A Formal Taxonomy of Privacy in Voting ProtocolsFirst IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩ |
|
|
Key Management Protocol in WIMAX Revisited3rd International Conference on Communications Security and Information Assurance CSIA, 2012, delhi, India. pp.853 - 862 |
|
|
Analysis of Random Walks using Tabu ListsStructural Information and Communication Complexity - 19th International SIROCCO'12, Jun 2012, Reykjavik, Iceland |
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩ |
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter CoercionEuropean Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. ⟨10.1007/978-3-642-33167-1_26⟩ |
|
|
Automated Verification of Block Cipher Modes of Operation, an Improved MethodFoundations and Practice of Security - 4th Canada-France FPS 2011, May 2011, Paris, France |
|
|
Routage par marche aléatoire à listes tabous13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. pp.14 |
|
|
Benaloh's dense probabilistic encryption revisitedAFRICACRYPT'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⟩ |
Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP), Oct 2010, Darmstadt, Germany. ⟨10.1109/IIHMSP.2010.130⟩ |
|
|
|
Comparison of Cryptographic Verification Tools Dealing with Algebraic PropertiesFormal Aspects in Security and Trust, 2009, Eindhoven, Netherlands |
|
|
Automated Security Proof for Symmetric Encryption ModesAdvances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference,, Dec 2009, Séoul, South Korea |
|
|
Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Modelthe 15th ACM conference, Oct 2008, Alexandria, France. ⟨10.1145/1455770.1455817⟩ |
|
|
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive OrAutomata, Languages and Programming, 33rd International Colloquium, {ICALP}, Jul 2006, Venise, Italy |
|
|
Intruder Deduction for AC-like Equational Theories with HomomorphismsTerm Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan |
Distance-Bounding ProtocolsLéo Mendiboure (dir.). Cooperative Intelligent Transport Systems, Wiley, pp.273-293, 2024, 9781394325849. ⟨10.1002/9781394325849.ch11⟩ |
|
iUC-Secure Distributed File Transfer from Standard Attribute-Based EncryptionSerge Vaudenay; Christophe Petit. Progress in Cryptology - AFRICACRYPT 2024, 14861, Springer Nature Switzerland, pp.174-198, 2024, Lecture Notes in Computer Science, 978-3-031-64380-4. ⟨10.1007/978-3-031-64381-1_8⟩ |
|
La sécurité de bitcoin et des blockchainsGildas Avoine; Marc-Olivier Killijian. Treize défis de la cybersécurité, CNRS Éditions, pp.213-232, 2020, 2271130611 |
|
|
|
Les crypto-monnaies, une réalité virtuelle ?Les Big Data à l’échelle de la société, CNRS EDITIONS, 2020, 978-2271130617 |
|
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, pp.298--299, 2017 |
|
|
Formal Model for (k)-Neighborhood Discovery ProtocolsAdvances in Network Analysis and its Applications, 18, 2013, Advances in Network Analysis and its Applications. Mathematics in Industry, 978-3-642-30903-8. ⟨10.1007/978-3-642-30904-5_8⟩ |
|
|
Automated Proofs for Asymmetric EncryptionConcurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, 2010 |
|
|
Comparing State Spaces in Automatic Security Protocol AnalysisPublished by Véronique Cortier and Claude Kirchner and Mitsuhiro Okada and Hideki Sakurada. Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration , 2009 |
Comment fonctionnent les bitcoins ?2022 |
|
|
|
MISSION CRYPTOGRAPHIE2020 |
|
|
TRIER POUR MIEUX COMPARER2020 |
|
|
77 Shades of Grey2026 |
|
|
La Blockchain, avenir des monnaies locales ?2022 |
|
|
Formal Analysis of Combinations of Secure Protocols2017 |
|
|
Les monnaies virtuelles décentralisées sont-elles des outils d’avenir ?2017 |
|
|
How to prevent type-flaw attacks on security protocols under algebraic properties2009 |
|
|
On the Verifiability of (Electronic) Exams[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015 |
|
|
Secure Auctions Without Cryptography (extended version)[Technical Report] ETH Zurich. 2014 |
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion[Research Report] VERIMAG. 2012 |
|
|
Formal Verification of e-Auction Protocols[Technical Report] TR-2012-17, VERIMAG. 2012 |
|
|
On Unique Decomposition of Processes in the Applied π-Calculus[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012 |
|
|
A formal taxonomy of privacy in voting protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011 |
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011 |
|
|
Vérification de protocoles cryptographiques en présence de théories équationnellesAutre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2006. Français. ⟨NNT : ⟩ |
|
|
Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor NetworksCryptography and Security [cs.CR]. Université de Grenoble, 2012 |
|
|
Security and Cryptography just by imagesDoctoral. Grenoble, France. 2009, pp.52 |