Publications (old)

Publications HAL de Tristan,Allard;Gildas, Avoine;David,Baelde;Stéphanie,Delaune;Barbara,Fila;Barbara,Kordy;Joseph,Lallemand;Mohamed,Sabt

2024

titre
Formal Security Analysis of Widevine through the W3C EME Standard
auteur
Stéphanie Delaune, Joseph Lallemand, Gwendal Patat, Florian Roudot, Mohamed Sabt
article
USENIX Security Symposium, Aug 2024, PHILADELPHIA, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04631369/file/main.pdf BibTex
titre
A Probabilistic Logic for Concrete Security
auteur
David Baelde, Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon
article
CSF 2024 – 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Accès au texte intégral et bibtex
https://hal.science/hal-04577828/file/main.pdf BibTex
titre
Actes de la conférence BDA 2023, Montpellier
auteur
Reza Akbarinia, Tristan Allard, Angela Bonifati
article
BDA 2023 – 39ème Conférence sur la Gestion de Données Principes Technologies et Applications, 2024
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04627853/file/actesBDA2023.pdf BibTex
titre
The Squirrel Prover and its Logic
auteur
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand
article
ACM SIGLOG News, 2024, 11 (2), ⟨10.1145/3665453.3665461⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04579038/file/main.pdf BibTex
titre
Cryptographic Reductions By Bi-Deduction
auteur
David Baelde, Adrien Koutsos, Justine Sauvage
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04511718/file/hal-v1.pdf 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
https://hal.science/hal-04444552/file/ascending_Stepped_RT.pdf BibTex
titre
Analyzing and explaining privacy risks on time series data: ongoing work and challenges
auteur
Tristan Allard, Hira Asghar, Gildas Avoine, Christophe Bobineau, Pierre Cauchois, Elisa Fromont, Anna Monreale, Francesca Naretto, Roberto Pellungrini, Francesca Pratesi, Marie-Christine Rousset, Antonin Voyez
article
SIGKDD explorations : newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, In press, pp.1-10
Accès au texte intégral et bibtex
https://hal.science/hal-04628000/file/TSPrivacyRisks_SIGKDD.pdf 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
https://inria.hal.science/hal-04328511/file/article-VERSION_PUBLIEE.pdf 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
https://hal.science/hal-04262499/file/version-hal-31-10-2023.pdf 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
https://hal.science/hal-04228115/file/snake_demo_cikm2023.pdf 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
https://hal.science/hal-04349311/file/3579856.3582825.pdf 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
https://hal.science/hal-04179324/file/your_drm_can_watch_you_too.pdf 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
https://inria.hal.science/hal-03674979/file/main-csf.pdf 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
https://hal.science/hal-04175322/file/2023-eurosp-dragondoom.pdf 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
https://inria.hal.science/hal-03981949/file/hal.pdf 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
https://inria.hal.science/hal-04210887/file/main.pdf 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
https://hal.science/hal-04079883/file/master.pdf 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
https://hal.science/hal-04349316/file/Comment%20choisir%20un%20bon%20mot%20de%20passe%20.pdf 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
https://inria.hal.science/hal-03935333/file/Webinaire_DRIAS.pdf 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
https://hal.science/hal-03927074/file/New%20Algorithm%20for%20Exhausting%20Optimal%20Permutations%20for%20Generalized%20Feistel%20Networks.pdf 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
https://hal.science/hal-03833605/file/main.pdf 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
https://hal.science/hal-03879423/file/main.pdf 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
https://hal.science/hal-04349301/file/how_far_can_cpu_go.pdf 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
https://inria.hal.science/hal-03669664/file/main-long.pdf 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
https://hal.science/hal-03767104/file/Tamarin-JCS2022.pdf 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
https://inria.hal.science/hal-03473179/file/main.pdf 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
https://hal.science/hal-03500056/file/main.pdf 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
https://hal.science/hal-03682126/file/main.pdf 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
https://hal.science/hal-03726234/file/article_ksa_secrypt.pdf 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
https://univ-rennes.hal.science/hal-03637107/file/wideleak.pdf 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
https://univ-rennes.hal.science/hal-03631377/file/woot_s0.pdf 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
https://hal.science/hal-03694811/file/2022-sp-usec.pdf 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
https://hal.science/hal-03630283/file/prever-EDBT_22-PUBLIE.pdf 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
https://hal.science/hal-03595277/file/DelauneDerbezGontierPrudhommeCPFeistelRoadef_2022.pdf 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
https://hal.science/hal-02870826/file/A%20Large-scale%20Empirical%20Analysis%20of%20Browser%20Fingerprints%20Properties%20for%20Web%20Authentication.pdf 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
https://inria.hal.science/hal-02965322/file/full-version.pdf 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
https://hal.science/hal-03551345/file/2021_ccs_parasite.pdf 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
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
https://hal.science/hal-03601665/file/precomputeForRainbowTables.pdf 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
https://hal.science/hal-03534492/file/A%20Simpler%20Model%20for%20Recovering%20Superpoly%20on%20Trivium.pdf 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
https://hal.science/hal-03355923/file/main.pdf 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
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
https://hal.science/hal-03326618/file/datasynth.pdf 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
https://hal.science/hal-03040548/file/report-HAL-v2.pdf 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
https://hal.science/hal-03264227/file/main.pdf 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
https://hal.science/hal-03172119/file/longversion.pdf 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
https://inria.hal.science/hal-03199954/file/TheWebCon_2021_paper_2677-FINAL.pdf 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
https://hal.science/hal-03202788/file/BrFAST%20-%20A%20Tool%20to%20Select%20Browser%20Fingerprinting%20Attributes%20for%20Web%20Authentication%20According%20to%20a%20Usability-Security%20Trade-off.pdf 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
https://inria.hal.science/hal-03198346/file/p55.pdf BibTex
titre
Contributions to the Verification of Cryptographic Protocols
auteur
David Baelde
article
Computer Science [cs]. Université Paris-Saclay, 2021
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04549522/file/hdr_baelde.pdf 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
https://inria.hal.science/hal-03005036/file/main.pdf 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
https://hal.science/hal-03367644/file/DDV-fse22.pdf 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
https://inria.hal.science/hal-03225201/file/aicol20.pdf 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
https://hal.science/hal-03058482/file/2020_acsac_dragonblood_is_still_leaking.pdf 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
https://hal.science/hal-02965948/file/acsac-postprint.pdf 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
https://inria.hal.science/hal-02917076/file/main.pdf 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
https://hal.science/hal-02903620/file/main.pdf 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
https://inria.hal.science/hal-02896342/file/main-v2.pdf 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
https://hal.science/hal-02889155/file/main.pdf 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
https://hal.science/hal-02611624/file/Guess%20Who%20-%20Large-Scale%20Data-Centric%20Study%20of%20the%20Adequacy%20of%20Browser%20Fingerprints%20for%20Web%20Authentication%20-%20Final%20Postprint.pdf 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
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
https://hal.science/hal-02459984/file/main-HAL.pdf 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
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
https://inria.hal.science/hal-02969613/file/2020-127%284%29.pdf 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
https://hal.science/hal-02865304/file/article.pdf 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
https://arxiv.org/pdf/2005.01038 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
https://hal.science/hal-02864872/file/browserfp-survey.pdf 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
https://inria.hal.science/hal-02570334/file/paper_306.pdf 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
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
https://inria.hal.science/hal-02446170/file/main-HAL.pdf 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
https://inria.hal.science/hal-02865105/file/SSTIC2020-Article-please_remember_me_security_analysis_of_u2f_remember_me_implementations_in_the_wild-patat_sabt.pdf 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
https://inria.hal.science/hal-02268400/file/TOCL19.pdf BibTex

Comments are closed.