2024
- titre
- Cryptographic Reductions By Bi-Deduction
- auteur
- David Baelde, Adrien Koutsos, Justine Sauvage
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Ascending Stepped Cryptanalytic Time-Memory Trade-Off
- auteur
- Gildas Avoine, Xavier Carpent, Diane Leblanc-Albarel
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
- titre
- [~Re]Simulating socioeconomic-based affirmative action
- auteur
- Tristan Allard, Louis Béziaud, Sébastien Gambs
- article
- The ReScience journal, 2023, 9 (1), pp.16. ⟨10.5281/zenodo.10255346⟩
- Accès au texte intégral et bibtex
-
- titre
- One Vote is Enough for Analysing Privacy
- auteur
- Stéphanie Delaune, Joseph Lallemand, Arthur Outrey
- article
- CNRS. 2023
- Accès au texte intégral et bibtex
-
- titre
- SNAKE challenge: Sanitization Algorithms under Attack
- auteur
- Tristan Allard, Louis Béziaud, Sébastien Gambs
- article
- ACM International Conference on Information and Knowledge Management, Oct 2023, Birmingham, United Kingdom. ⟨10.1145/3583780.3614754⟩
- Accès au texte intégral et bibtex
-
- titre
- Stairway To Rainbow
- auteur
- Gildas Avoine, Xavier Carpent, Diane Leblanc-Albarel
- article
- ASIA CCS ’23: ACM ASIA Conference on Computer and Communications Security, Jul 2023, Melbourne VIC Australia, Australia. ⟨10.1145/3579856.3582825⟩
- Accès au texte intégral et bibtex
-
- titre
- Your DRM Can Watch You Too: Exploring the Privacy Implications of Browsers (mis)Implementations of Widevine EME
- auteur
- Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
- article
- PETS 2023 – Privacy Enhancing Technologies Symposium, Jul 2023, Lausanne, Switzerland. pp.306-321, ⟨10.56553/popets-2023-0112⟩
- Accès au texte intégral et bibtex
-
- 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
- From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake
- auteur
- Daniel de Almeida Braga, Natalia Kulatova, Mohamed Sabt, Pierre-Alain Fouque, Karthikeyan Bhargavan
- article
- EuroS&P 2023 – IEEE 8th European Symposium on Security and Privacy, Jul 2023, Delft, Netherlands. pp.707-723, ⟨10.1109/EuroSP57164.2023.00048⟩
- 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
- LICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩
- Accès au texte intégral et bibtex
-
- titre
- Sound Verification of Security Protocols: From Design to Interoperable Implementations
- auteur
- Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David Basin, Peter Müller
- article
- 2023 IEEE Symposium on Security and Privacy (SP), May 2023, San Francisco, United States
- Accès au texte intégral et bibtex
-
- titre
- Extended version: 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
- Comment choisir un bon mot de passe ?
- auteur
- Gildas Avoine, Diane Leblanc-Albarel
- 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
-
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
- Rainbow Tables: How Far Can CPU Go?
- auteur
- Gildas Avoine, Xavier Carpent, Diane Leblanc-Albarel
- article
- 2022, pp.3029-3037. ⟨10.1093/comjnl/bxac147⟩
- 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
- 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
- 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
- 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
- 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
- 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
- Diffusion totale dans le schéma de Feistel généralisé
- auteur
- Stéphanie Delaune, Patrick Derbez, Arthur Michel Gontier, Charles Prud’Homme
- article
- ROADEF 2022 : 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne – Lyon, France
- 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. ⟨10.1145/3501402⟩
- 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
- A Simpler Model for Recovering Superpoly on Trivium
- auteur
- Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud’Homme
- article
- SAC 2021: International Conference on Selected Areas in Cryptography, Sep 2021, Victoria, British-Columbia, Canada. pp.266-285, ⟨10.1007/978-3-030-99277-4_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Implementation of Lattice Trapdoors on Modules and Applications
- auteur
- Pauline Bert, Gautier Eberhart, Lucas Prabel, Adeline Roux-Langlois, Mohamed Sabt
- article
- PQCrypto 2021 – International Conference on Post-Quantum Cryptography, Jul 2021, Virtual event, France. pp.195 – 214, ⟨10.1007/978-3-030-81293-5_11⟩
- 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, 2021
- Accès au bibtex
-
- titre
- An open generator of synthetic administrative healthcare databases
- auteur
- Thomas Guyet, Tristan Allard, Johanne Bakalara, Olivier Dameron
- article
- IAS 2021 – Atelier Intelligence Artificielle et Santé, Jun 2021, Bordeaux (virtuel), France. pp.1-8
- Accès au texte intégral et 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 (4), ⟨10.1007/s10817-020-09582-9⟩
- Accès au texte intégral et bibtex
-
2020
- titre
- Catching the Fastest Boomerangs
- auteur
- Stéphanie Delaune, Patrick Derbez, Mathieu Vavrille
- article
- IACR Transactions on Symmetric Cryptology, 2020, pp.104-129. ⟨10.46586/tosc.v2020.i4.104-129⟩
- Accès au texte intégral et bibtex
-
- titre
- Publication of court records: circumventing the privacy-transparency trade-off
- auteur
- Tristan Allard, Louis Béziaud, Sébastien Gambs
- article
- AICOL 2020 – 11th International Workshop on Artificial Intelligence and the Complexity of Legal Systems, in conjunction with JURIX 2020, Dec 2020, Virtual, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild
- auteur
- Daniel de Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
- article
- ACSAC 2020 – Annual Computer Security Applications Conference, Dec 2020, Austin / Virtual, United States. pp.291-303, ⟨10.1145/3427228.3427295⟩
- Accès au texte intégral et bibtex
-
- titre
- FPSelect: Low-Cost Browser Fingerprints for Mitigating Dictionary Attacks against Web Authentication Mechanisms
- auteur
- Nampoina Andriamilanto, Tristan Allard, Gaëtan Le Guelvouit
- article
- Annual Computer Security Applications Conference (ACSAC 2020), Dec 2020, Austin, United States. ⟨10.1145/3427228.3427297⟩
- Accès au texte intégral et bibtex
-
- titre
- Security Analysis and Implementation of Relay-Resistant Contactless Payments
- auteur
- Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
- article
- CCS, Nov 2020, Virtual Conference, United States
- 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
- article
- ESORICS 2020 – 25th European Symposium on Research in Computer Security, Sep 2020, Guilford, United Kingdom. pp.3–22, ⟨10.1007/978-3-030-59013-0_1⟩
- Accès au texte intégral et bibtex
-
- titre
- From Task Tuning to Task Assignment in Privacy-Preserving Crowdsourcing Platforms
- auteur
- Joris Duguépéroux, Tristan Allard
- article
- Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2020, pp.67-107. ⟨10.1007/978-3-662-62271-1_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Online publication of court records: circumventing the privacy-transparency trade-off
- auteur
- Tristan Allard, Louis Béziaud, Sébastien Gambs
- article
- 1st International Workshop on Law and Machine Learning LML2020, in conjunction with ICML 2020, Jul 2020, Vienna, Austria
- Accès au texte intégral et bibtex
-
- titre
- Guess Who ?” Large-Scale Data-Centric Study of the Adequacy of Browser Fingerprints for Web Authentication
- auteur
- Nampoina Andriamilanto, Tristan Allard, Gaetan Le Guelvouit
- article
- International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), Jul 2020, Lodz, Poland. pp.161-172, ⟨10.1007/978-3-030-50399-4_16⟩
- Accès au texte intégral et bibtex
-
- titre
- Ouvrir la boîte noire des algorithmes de personnalisation
- auteur
- Tristan Allard, Louis Béziaud, Sébastien Gambs, Julien Lolive
- article
- Le profilage en ligne : entre libéralisme et régulation, Mare & Martin, 2020, Libre droit, 978-2-84934-466-8
- Accès au bibtex
-
- titre
- A Method for Proving Unlinkability of Stateful Protocols
- auteur
- David Baelde, Stéphanie Delaune, Solène Moreau
- article
- 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston, United States
- Accès au texte intégral et bibtex
-
- titre
- Exploiting attack–defense trees to find an optimal set of countermeasures
- auteur
- Barbara Fila, Wojciech Widel
- article
- 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), Jun 2020, Boston, France. pp.395-410, ⟨10.1109/CSF49147.2020.00035⟩
- Accès au bibtex
-
- titre
- Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
- auteur
- Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
- article
- CSF 2020 – 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston / Virtual, United States
- Accès au texte intégral et bibtex
-
- titre
- The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10
- auteur
- Daniel de Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
- article
- IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, 2020 (3), pp.196-218
- 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
- 2020
- Accès au bibtex
-
- titre
- Browser Fingerprinting: A Survey
- auteur
- Pierre Laperdrix, Nataliia Bielova, Benoit Baudry, Gildas Avoine
- article
- ACM Transactions on the Web, 2020, 14 (2), pp.1-33. ⟨10.1145/3386040⟩
- Accès au texte intégral et bibtex
-
- titre
- Task-Tuning in Privacy-Preserving Crowdsourcing Platforms
- auteur
- Joris Duguépéroux, Antonin Voyez, Tristan Allard
- article
- International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark. ⟨10.5441/002/edbt.2020.79⟩
- Accès au texte intégral et bibtex
-
- titre
- Profilage et prédiction : de l’usage des algorithmes en matière pénale
- auteur
- Laurent Rousvoal, Tristan Allard, Elisa Fromont
- article
- 2020 – Festival des libertés numériques, INSA Rennes, Université Rennes 2, URFIST de Rennes., Feb 2020, Rennes, France
- Accès au bibtex
-
- titre
- A decidable class of security protocols for both reachability and equivalence properties
- auteur
- Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan
- article
- [Research Report] Loria & Inria Grand Est; Irisa. 2020
- Accès au texte intégral et bibtex
-
- titre
- Please Remember Me: Security Analysis of U2F Remember Me Implementations in The Wild
- auteur
- Gwendal Patat, Mohamed Sabt
- article
- Actes SSTIC 2020, 18ème Symposium sur la sécurité des technologies de l’information et des communications (SSTIC 2020), 2020, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Typing messages for free in security protocols
- auteur
- Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune
- article
- ACM Transactions on Computational Logic, 2020, 21 (1), ⟨10.1145/3343507⟩
- Accès au texte intégral et bibtex
-
