Recherche - INSA Rennes - Institut National des Sciences Appliquées de Rennes

Filtrer vos résultats

25 résultats
Image document

A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

Antoine Geimer , Mathéo Vergnolle , Frédéric Recoules , Lesly-Ann Daniel , Sébastien Bardin , et al.
CCS 2023 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.1690-1704, ⟨10.1145/3576915.3623112⟩
Communication dans un congrès hal-04474774v1
Image document

Secrecy by typing in the computational model

Stéphanie Delaune , Clément Herouard , Joseph Lallemand
38th IEEE Computer Security Foundations Symposium (CSF 2025), Owen Arden, Jun 2025, Santa Cruz, CA, United States
Communication dans un congrès hal-04666965v1
Image document

A short-list of pairing-friendly curves resistant to the Special TNFS algorithm at the 192-bit security level

Diego F. Aranha , Georgios Fotiadis , Aurore Guillevic
2024
Pré-publication, Document de travail hal-04666521v1
Image document

Proving Unlinkability using ProVerif through Desynchronized Bi-Processes

David Baelde , Alexandre Debant , Stéphanie Delaune
IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
Communication dans un congrès hal-03674979v2
Image document

A Probabilistic Logic for Concrete Security

David Baelde , Caroline Fontaine , Adrien Koutsos , Guillaume Scerri , Théo Vignon
CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Communication dans un congrès hal-04577828v1
Image document

Intent-Based Attack Mitigation through Opportunistic Synchronization of Micro-Services

Do Duc Anh Nguyen , Pierre Alain , Fabien Autrel , Ahmed Bouabdallah , Jérôme Franc
10th IEEE International Conference on Network Softwarization (NetSoft 2024), Jun 2024, Saint Louis, MO, United States. ⟨10.1109/NetSoft60951.2024.10588925⟩
Communication dans un congrès hal-04645889v1
Image document

A Robust Approach for the Detection and Prevention of Conflicts in I2NSF Security Policies

Do Duc Anh Nguyen , Fabien Autrel , Ahmed Bouabdallah , Guillaume Doyen
NOMS 2023: IEEE/IFIP Network Operations and Management Symposium, May 2023, Miami, United States. pp.1-7, ⟨10.1109/NOMS56928.2023.10154304⟩
Communication dans un congrès hal-04223371v1
Image document

Formal Security Analysis of Widevine through the W3C EME Standard

Stéphanie Delaune , Joseph Lallemand , Gwendal Patat , Florian Roudot , Mohamed Sabt
USENIX Security Symposium, Aug 2024, PHILADELPHIA, United States
Communication dans un congrès hal-04631369v1
Image document

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake

Daniel de Almeida Braga , Natalia Kulatova , Mohamed Sabt , Pierre-Alain Fouque , Karthikeyan Bhargavan
EuroS&P 2023 - IEEE 8th European Symposium on Security and Privacy, Jul 2023, Delft, Netherlands. pp.707-723, ⟨10.1109/EuroSP57164.2023.00048⟩
Communication dans un congrès hal-04175322v1
Image document

Humans vs. Machines in Malware Classification

Simone Aonzo , Yufei Han , Alessandro Mantovani , Davide Balzarotti
USENIX Security 2023 - 32nd Usenix Security Symposium, Aug 2023, Anaheim (CA), United States
Communication dans un congrès hal-04321950v1
Image document

Artifact for "Foundations for Cryptographic Reductions in CCSA Logics

David Baelde , Adrien Koutsos , Justine Sauvage
2024
Logiciel hal-04650670v1
Image document

Extended version: Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks

Tristan Claverie , Gildas Avoine , Stéphanie Delaune , José Lopes Esteves
2023
Pré-publication, Document de travail hal-04079883v1
Image document

How Fast Does Malware Leveraging EternalBlue Propagate? The case of WannaCry and NotPetya

Do Duc Anh Nguyen , Pierre Alain , Fabien Autrel , Ahmed Bouabdallah , Jérôme François , et al.
SecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures, Jun 2024, Saint Louis (Missouri), United States
Communication dans un congrès hal-04645862v1
Image document

Sound Verification of Security Protocols: From Design to Interoperable Implementations

Linard Arquint , Felix A. Wolf , Joseph Lallemand , Ralf Sasse , Christoph Sprenger , et al.
2023 IEEE Symposium on Security and Privacy (SP), May 2023, San Francisco, United States
Communication dans un congrès hal-04210887v1
Image document

Decoding the Secrets of Machine Learning in Windows Malware Classification: A Deep Dive into Datasets, Features, and Model Performance

Savino Dambra , Yufei Han , Simone Aonzo , Platon Kotzias , Antonino Vitale , et al.
CCS 2023 - 30th ACM Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.60-74, ⟨10.1145/3576915.3616589⟩
Communication dans un congrès hal-04321280v1
Image document

One vote is enough for analysing privacy

Stéphanie Delaune , Joseph Lallemand
ESORICS 2022 - 27th European Symposium on Research in Computer Security, Sep 2022, Copenhague, Denmark
Communication dans un congrès hal-03669664v1
Image document

SNAKE challenge: Sanitization Algorithms under Attack

Tristan Allard , Louis Béziaud , Sébastien Gambs
ACM International Conference on Information and Knowledge Management, Oct 2023, Birmingham, United Kingdom. ⟨10.1145/3583780.3614754⟩
Communication dans un congrès hal-04228115v1
Image document

Se protéger d'une pandémie numérique

Valérie Viet Triem Tong , Jean-Louis Lanet
2023
Autre publication scientifique hal-04547827v1
Image document

Intent-Based Attack Mitigation through Opportunistic Synchronization of Microservices

Do Duc Anh Nguyen , Fabien Autrel , Ahmed Bouabdallah , Jérôme François , Pierre Alain , et al.
RESSI 2024 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France
Communication dans un congrès hal-04645953v1
Image document

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning

David Baelde , Adrien Koutsos , Joseph Lallemand
LICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩
Communication dans un congrès hal-03981949v2
Image document

Evaluating the Reusability of Android Static Analysis Tools

Jean-Marie Mineau , Jean-François Lalande
ICSR 2024 - 21st International Conference on Software and Systems Reuse, Jun 2024, Limassol, Cyprus. pp.153-170, ⟨10.1007/978-3-031-66459-5_10⟩
Communication dans un congrès hal-04557993v1
Image document

One Vote is Enough for Analysing Privacy

Stéphanie Delaune , Joseph Lallemand , Arthur Outrey
CNRS. 2023
Rapport hal-04262499v1
Image document

Client-side and Server-side Tracking on Meta: Effectiveness and Accuracy

Asmaa El fraihi , Nardjes Amieur , Walter Rudametkin , Oana Goga
PETS 2024 - 24th Privacy Enhancing Technologies Symposium, Jul 2024, Bristol, United Kingdom. pp.431-445, ⟨10.56553/popets-2024-0086⟩
Communication dans un congrès hal-04665102v1
Image document

[~Re]Simulating socioeconomic-based affirmative action

Tristan Allard , Louis Béziaud , Sébastien Gambs
The ReScience journal, 2023, 9 (1), pp.16. ⟨10.5281/zenodo.10255346⟩
Article dans une revue hal-04328511v1
Image document

The Squirrel Prover and its Logic

David Baelde , Stéphanie Delaune , Charlie Jacomme , Adrien Koutsos , Joseph Lallemand
ACM SIGLOG News, 2024, 11 (2), ⟨10.1145/3665453.3665461⟩
Article dans une revue hal-04579038v1