Recherche - Université de Rennes Accéder directement au contenu

Filtrer vos résultats

16 résultats
Page :
triés par
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

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
21st International Conference on Software and Systems Reuse, Jun 2024, Limassol, Cyprus
Communication dans un congrès hal-04557993v1
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

Cryptographic Reductions By Bi-Deduction

 David Baelde , Adrien Koutsos , Justine Sauvage
2024
Pré-publication, Document de travail hal-04511718v2
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

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

One Vote is Enough for Analysing Privacy

 Stéphanie Delaune , Joseph Lallemand , Arthur Outrey
CNRS. 2023
Rapport hal-04262499v1
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

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

[~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

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

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
Page :