Découvrez les séminaires passés et à venir proposés par l’axe cybersécurité.
Date et heure : TBD
Lieu : TBD
Date et heure : 21 octobre 2024, 13h30-15h00
Lieu : Agora 2, bâtiment ESPRIT
Présentation 1: Controlling False Positives of Deep Learning Detectors, Jan Butora
Résumé:
Deep convolutional neural networks are state-of-the-art detectors for various digital image forensics techniques, such as steganalysis - detection of steganography. However, their performance is often measured only by empirically evaluating a given testing set of images of a fixed size. Moreover, the so-called cover-source mismatch makes the detectors unusable on images with different noise properties. In this talk, we will follow the real-world requirements of a forensic analyst, demanding robustness against image size, image source, and theoretical guarantees on very small False Positive (FP) rates, such as 10^-4 or lower, which are in practice hard to achieve empirically. First, I will introduce the Reverse JPEG Compatibility Attack that allows us to model cover (pristine) images in order to control the FP rate. Then we will use this technique in a deep learning classifier and demonstrate that by carefully modifying the architecture and studying its soft outputs - the logits - we can accurately predict the distribution of the logits w.r.t. image size. Such a detector, used as a one-class classifier, accurately follows theoretically prescribed FP rates and still generalizes enough to correctly detect unseen steganography.
Présentation 2: An Overview of Automated Program Analysis, Raphaël Monat
Résumé:
This talk will present a brief overview of automated program analysis such as fuzzing, symbolic execution, and conservative static analysis. These techniques can be used to detect various bugs in programs, including buffer overflows which may create security vulnerabilities. I will then describe the methodology used by the abstract interpretation community to develop conservative static analyses, and comment ongoing research efforts (and struggles!) we encounter within Mopsa, an open-source static analysis platform I am co-developing.
Date et heure : 21 octobre 2024, 13h30-15h00
Lieu : Amphithéâtre Atrium, bâtiment ESPRIT
Time | Session | Titre |
---|---|---|
9h00 | Ouverture | |
9h15 | Session 1 | Sécurité multimédia et vie privée |
Imane Fouad, Inria | Sé&curité et vie privée dans l’équipe Siprals | |
Patrick Bas, CNRS | Activités en sécurisation de l’information dans l’équipe SIGMA | |
10h30 | Pause | |
11h15 | Session 2 | Sécurité des systèmes et des logiciels |
Guillermo Polito, Inria | Détection empirique de vulnérabilités logicielles dans l’équipe RMoD | |
Thomas Vantroys, Polytech Lille | Objets connectés : de la sécurisation à l’identification | |
Clément Ballabriga, Université of Lille | Interprétation abstraite pour prouver l’absence de débordement de pile | |
12h30 | Repas | |
14h00 | Session 3 | Sécurité des réseaux |
Virginie Deniau, Université Gustave Eiffel | Détection d’attaques à l’encontre des communications sans fil par la surveillance d’activité Radio Fréquence | |
Valeria Loscri, Inria | Comment l’apprentissage automatique change le paysage de la cybersécurité des communications sans-fils réseaux | |
Michaël Hauspie, IUT de Lille | Securité des réseaux : cloud et IOT | |
15h15 | Pause & session poster | |
16h15 | Session 4 | Vie privée et sécurité IA |
Deise Santana Maia, Université de Lille | Biométrie faciale en 3D | |
Marc Tommasi, Université de Lille | Apprentissage décentralisé, vie privée et sécurité | |
Debabrota Basu, Inria | Le jeu de la vie privée : attaques avec et défense pour les algorithms d’apprentissage en ligne. | |
Soukaina Aji | Réseaux neuronaux à impulsion et les difficultés des attaques antagonistes (adversarial) |