Recherche - IMT - Institut Mines-Télécom Accéder directement au contenu

Filtrer vos résultats

8 résultats
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

Threats to Adversarial Training for IDSs and Mitigation

Hassan Chaitou , Thomas Robert , Jean Leneutre , Laurent Pautet
19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
Communication dans un congrès hal-03801012v1
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
Image document

Optimal Security Notion for Decentralized Multi-Client Functional Encryption

Ky Nguyen , Duong Hieu Phan , David Pointcheval
Applied Cryptography and Network Security. ACNS 2023, Jun 2023, Kyoto, Japan. pp.336-365, ⟨10.1007/978-3-031-33491-7_13⟩
Communication dans un congrès hal-04194145v1
Image document

Verifiable Decentralized Multi-Client Functional Encryption for Inner Product

Duy Nguyen , Duong Hieu Phan , David Pointcheval
Advances in Cryptology - ASIACRYPT 2023, Dec 2023, Guanzhou, China
Communication dans un congrès hal-04276484v1
Image document

X-Ray-TLS: transparent decryption of TLS sessions by extracting session keys from memory

Florent Moriconi , Olivier Levillain , Aurélien Francillon , Raphael Troncy
The 19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS), ACM, Jul 2024, Singapore, Singapore
Communication dans un congrès hal-04446027v1
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

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