2023
- titre
- Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
- auteur
- David Baelde, Alexandre Debant, Stéphanie Delaune
- article
- IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
- Accès au texte intégral et bibtex
-
- titre
- Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks
- auteur
- Tristan Claverie, Gildas Avoine, Stéphanie Delaune, José Lopes Esteves
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- IA et données de santé : regards croisés sur les droits, devoirs et responsabilités des personnes publiques
- auteur
- Thomas Guyet, Pierre Saurel, Hélène Muscat, Christine Paillard, Tristan Allard, Nolwenn Le Meur, Danièle Bourcier, Emmanuel Oger, André Happe
- article
- Enjeux scientifiques et sociaux de l’IA, MITI/CNRS, Jan 2023, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
- auteur
- David Baelde, Adrien Koutsos, Joseph Lallemand
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
- titre
- New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks ⋆
- auteur
- Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud’Homme
- article
- INDOCRYPT 2022: 23rd International Conference on Cryptology in India, Dec 2022, Kolkata, India. pp.103-124, ⟨10.1007/978-3-031-22912-1_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Unique in the Smart Grid -The Privacy Cost of Fine-Grained Electrical Consumption Data
- auteur
- Antonin Voyez, Tristan Allard, Gildas Avoine, Pierre Cauchois, Elisa Fromont, Matthieu Simonin
- article
- 2022
- Accès au texte intégral et bibtex
-
- titre
- PGPregel: An End-to-End System for Privacy-Preserving Graph Processing in Geo-Distributed Data Centers
- auteur
- Amelie Chi Zhou, Ruibo Qiu, Thomas Lambert, Tristan Allard, Shadi Ibrahim, Amr El Abbadi
- article
- SoCC ’22: ACM Symposium on Cloud Computing, Association for Computing Machinery, Nov 2022, San Francisco California, United States. pp.386-402, ⟨10.1145/3542929.3563474⟩
- Accès au texte intégral et bibtex
-
- titre
- Characterizing Prefetchers using CacheObserver
- auteur
- Guillaume Didier, Clémentine Maurice, Antoine Geimer, Walid J Ghandour
- article
- IEEE 34th International Symposium on Computer Architecture and High Performance Computing, Nov 2022, Bordeaux, France
- Accès au texte intégral et bibtex
-
- titre
- One vote is enough for analysing privacy
- auteur
- Stéphanie Delaune, Joseph Lallemand
- article
- ESORICS 2022 – 27th European Symposium on Research in Computer Security, Sep 2022, Copenhague, Denmark
- Accès au texte intégral et bibtex
-
- titre
- CPU Port Contention Without SMT
- auteur
- Thomas Rokicki, Clémentine Maurice, Michael Schwarz
- article
- 27th European Symposium on Research in Computer Security (ESORICS 2022), Sep 2022, Copenhagen, Denmark. pp.209-228, ⟨10.1007/978-3-031-17143-7_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatic generation of sources lemmas in TAMARIN: towards automatic proofs of security protocols
- auteur
- Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein
- article
- Journal of Computer Security, 2022, 30 (4), pp.573-598. ⟨10.3233/JCS-210053⟩
- Accès au texte intégral et bibtex
-
- titre
- Cracking the Stateful Nut
- auteur
- David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau
- article
- CSF 2022 – 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
- Accès au texte intégral et bibtex
-
- titre
- A small bound on the number of sessions for security protocols
- auteur
- Véronique Cortier, Antoine Dallon, Stéphanie Delaune
- article
- CSF 2022 – 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
- Accès au texte intégral et bibtex
-
- titre
- Bouncing threads for circular and non-wellfounded proofs — Towards compositionality with circular proofs (Extended version)
- auteur
- David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
- article
- LICS ’22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533375⟩
- Accès au texte intégral et bibtex
-
- titre
- Membership Inference Attacks on Aggregated Time Series with Linear Programming
- auteur
- Antonin Voyez, Tristan Allard, Gildas Avoine, Pierre Cauchois, Elisa Fromont, Matthieu Simonin
- article
- SECRYPT 2022 – 19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.193-204, ⟨10.5220/0011276100003283⟩
- Accès au texte intégral et bibtex
-
- titre
- WideLeak: How Over-the-Top Platforms Fail in Android
- auteur
- Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
- article
- DSN 2022 – 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2022, Baltimore, MD, United States
- Accès au texte intégral et bibtex
-
- titre
- Port Contention Goes Portable: Port Contention Side Channels in Web Browsers
- auteur
- Thomas Rokicki, Clémentine Maurice, Marina Botvinnik, Yossi Oren
- article
- ASIA CCS ’22 – ACM Asia Conference on Computer and Communications Security, May 2022, Nagasaki / Virtual, Japan. pp.1182-1194, ⟨10.1145/3488932.3517411⟩
- Accès au texte intégral et bibtex
-
- titre
- Exploring Widevine for Fun and Profit
- auteur
- Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
- article
- 16th IEEE Workshop on Offensive Technologies, WOOT 2022, San Francisco, CA, United States. 2022
- Accès au texte intégral et bibtex
-
- titre
- They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
- auteur
- Jan Jancar, Marcel Fourné, Daniel de Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
- article
- 2022 IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States. pp.755-772, ⟨10.1109/SP46214.2022.9833713⟩
- Accès au texte intégral et bibtex
-
- titre
- PReVer: Towards Private Regulated Verified Data
- auteur
- Mohammad Javad Amiri, Tristan Allard, Divyakant Agrawal, Amr El Abbadi
- article
- EDBT 2022 – International Conference on Extending Database Technology, Mar 2022, Edinburgh (Online), United Kingdom. ⟨10.48786/edbt.2022.40⟩
- Accès au texte intégral et bibtex
-
- titre
- A Large-scale Empirical Analysis of Browser Fingerprints Properties for Web Authentication
- auteur
- Nampoina Andriamilanto, Tristan Allard, Gaëtan Le Guelvouit, Alexandre Garel
- article
- ACM Transactions on the Web, 2022, 16 (1), pp.1–62. ⟨10.1145/3478026⟩
- Accès au texte intégral et bibtex
-
- titre
- So near and yet so far – Symbolic verification of distance-bounding protocols
- auteur
- Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
- article
- ACM Transactions on Privacy and Security, 2022, 25 (2), pp.39
- Accès au texte intégral et bibtex
-
2021
- titre
- PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild
- auteur
- Daniel de Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
- article
- CCS 2021 – ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2497-2512, ⟨10.1145/3460120.3484563⟩
- Accès au texte intégral et bibtex
-
- titre
- Attaque par inférence d’appartenance sur des séries temporelles agrégées en utilisant la programmation par contraintes
- auteur
- Antonin Voyez, Tristan Allard, Gildas Avoine, Pierre Cauchois, Elisa Fromont, Matthieu Simonin
- article
- BDA 2021 – 37ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2021, Paris, France. pp.1
- Accès au bibtex
-
- titre
- Precomputation for Rainbow Tables has Never Been so Fast
- auteur
- Gildas Avoine, Xavier Carpent, Diane Leblanc-Albarel
- article
- Computer Security – ESORICS 2021, 12973, Springer International Publishing, pp.215-234, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-88428-4_11⟩
- Accès au texte intégral et bibtex
-
- titre
- SoK: In Search of Lost Time: A Review of JavaScript Timers in Browsers
- auteur
- Thomas Rokicki, Clémentine Maurice, Pierre Laperdrix
- article
- 6th IEEE European Symposium on Security and Privacy (EuroS&P’21), Sep 2021, Vienna, Austria
- Accès au texte intégral et bibtex
-
- titre
- Calibration Done Right: Noiseless Flush+Flush Attacks
- auteur
- Guillaume Didier, Clémentine Maurice
- article
- DIMVA 2021 – The 18th Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Jul 2021, Lisboa / Virtual, Portugal
- Accès au texte intégral et bibtex
-
- titre
- An Upcycling Tokenization Method for Credit Card Numbers
- auteur
- Cyrius Nugier, Diane Leblanc-Albarel, Agathe Blaise, Simon Masson, Paul Huynh, Yris Brice Wandji Piugie
- article
- SECRYPT 2021 – 18th International Conference on Security and Cryptography, Jul 2021, Online, France
- Accès au texte intégral et bibtex
-
- titre
- La confidentialité différentielle, garante de l’anonymat
- auteur
- Tristan Allard, Louis Béziaud, Sébastien Gambs
- article
- Pour la science, ISSN 0153-4092 ; Dossier hors-série, 2021
- Accès au bibtex
-
- titre
- Efficient Methods to Search for Best Differential Characteristics on SKINNY
- auteur
- Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud’Homme
- article
- ACNS 2021 – 19th International Conference on Applied Cryptography and Network Security, Jun 2021, Kamakura, Japan. pp.184-207, ⟨10.1007/978-3-030-78375-4_8⟩
- Accès au texte intégral et bibtex
-
- titre
- Extending the SQUIRREL meta-logic for reasoning over security protocols
- auteur
- David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
- article
- 2021
- Accès au texte intégral et bibtex
-
- titre
- An Interactive Prover for Protocol Verification in the Computational Model
- auteur
- David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
- article
- SP 2021 – 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States
- Accès au texte intégral et bibtex
-
- titre
- Separ: Towards Regulating Future of Work Multi-Platform Crowdworking Environments with Privacy Guarantees
- auteur
- Mohammad Javad Amiri, Joris Duguépéroux, Tristan Allard, Divyakant Agrawal, Amr El Abbadi
- article
- The Web Conference 2021 (WWW ’21), Apr 2021, Ljubljana, Slovenia. ⟨10.1145/3442381.3449858⟩
- Accès au texte intégral et bibtex
-
- titre
- BrFAST: a Tool to Select Browser Fingerprinting Attributes for Web Authentication According to a Usability-Security Trade-off
- auteur
- Nampoina Andriamilanto, Tristan Allard
- article
- Companion Proceedings of the Web Conference 2021 (WWW ’21 Companion), Apr 2021, Ljubljana, Slovenia. ⟨10.1145/3442442.3458610⟩
- Accès au texte intégral et bibtex
-
- titre
- FRESQUE: A Scalable Ingestion Framework for Secure Range Query Processing on Clouds
- auteur
- Hoang van Tran, Tristan Allard, Laurent d’Orazio, Amr El Abbadi
- article
- EDBT 2021 – 24th International Conference on Extending Database Technology, Mar 2021, Nicosia, Cyprus. ⟨10.5441/002/edbt.2021.19⟩
- Accès au texte intégral et bibtex
-
- titre
- A decidable class of security protocols for both reachability and equivalence properties
- auteur
- Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan
- article
- Journal of Automated Reasoning, 2021, 65, ⟨10.1007/s10817-020-09582-9⟩
- Accès au texte intégral et bibtex
-
