Publications

Publications HAL de la structure 1084528

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
https://hal.inria.fr/hal-03674979/file/main-csf.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://hal.inria.fr/hal-03935333/file/Webinaire_DRIAS.pdf BibTex
titre
New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks ⋆
auteur
Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud’homme
article
Progress in Cryptology – INDOCRYPT 2022, 13774, Springer International Publishing, pp.103-124, 2023, Lecture Notes in Computer Science, ⟨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

2022

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
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
https://hal.science/hal-03798500/file/sbac-pad22_didier.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://hal.inria.fr/hal-03669664/file/main-long.pdf 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
https://hal.science/hal-03798342/file/esorics22_rokicki.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
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
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://hal.inria.fr/hal-03473179/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://hal-univ-rennes1.archives-ouvertes.fr/hal-03637107/file/wideleak.pdf 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
https://hal.inria.fr/hal-03708833/file/asiaccs22_rokicki.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
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
Accès au texte intégral et bibtex
https://hal.inria.fr/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
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
https://hal.inria.fr/hal-03215569/file/eurosp21_rokicki.pdf 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
https://hal.inria.fr/hal-03267431/file/dimva21_didier.pdf 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
https://hal.science/hal-03220739/file/REDOCS_2020_Tokens%20%285%29.pdf 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
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
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://hal.inria.fr/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://hal.inria.fr/hal-03198346/file/p55.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, ⟨10.1007/s10817-020-09582-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03005036/file/main.pdf BibTex

Old publications page

Comments are closed.