Publications

Publications HAL de la structure 1084528

2022

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.archives-ouvertes.fr/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
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
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://hal-univ-rennes1.archives-ouvertes.fr/hal-03631377/file/woot_s0.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.archives-ouvertes.fr/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, http://tweb.acm.org/, 2022, 16 (1), pp.1–62. ⟨10.1145/3478026⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02870826/file/A%20Large-scale%20Empirical%20Analysis%20of%20Browser%20Fingerprints%20Properties%20for%20Web%20Authentication.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-03172119/file/longversion.pdf BibTex
titre
Separ: Towards Regulating Future of Work Multi-Platform Crowdworking Environments with Privacy Guarantees
auteur
Mohammad 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.archives-ouvertes.fr/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, Springer Verlag, 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.