Mardi 30 mai

  Méthodes formelles en sécurité Sécurité des réseaux et des infrastructures
14:00 - 14:15 Ouverture Ouverture
14:15 - 15:00
Binary-level Security: Formal Methods to the Rescue
Sébastien Bardin
 : Several major classes of security analysis have to be performed on raw executable files, such as vulnerability analysis of mobile code or commercial off-the-shelf, deobfuscation or malware inspection. These analysis are highly challenging, due to the very low-level and intricate nature of binary code, and there is a clear need for more sophisticated and automated tools than currently available syntactic and dynamic approaches. On the other hand, source-level program analysis and formal methods have made tremendous progress in the past decade, and they are now an industrial reality for safety-critical applications.
Our long term goal is precisely to fulfill part of this gap, by developing state-of-the-art binary-level semantic analyses. In this talk, we first present the benefits of binary-level security analysis and the new challenges brought to formal methods, then we describe our early results and achievements, including the open-source BINSEC platform and its underlying key technologies as well as case-studies on deobfuscation and vulnerability analysis.
The BINSEC project is a joint effort involving CEA, INRIA, LORIA, Université de Grenoble-Alpes and Airbus.
SoK: Fraud in Telephony Networks
Merve Sahin
15:00 - 15:45

Language-Based Information Flow Security Enforcements
Tamara Rezk

Towards 5G secure-channel establishment: lessons learned from 3G and 4G networks
Cristina Onete
15:45 - 16:15

Pause café

16:15 - 17:00

Utilisation de la programmation par contraintes pour la recherche d'attaques différentielles à clés liées contre l'AES
Marine Minier

Détection d'anomalies réseau
Alban Siffer
17:00 - 17:45

Security in Convoluted Systems
Simon Foley

Discussion autour du GT Sécurité des réseaux et des infrastructures


Mercredi 31 mai

  Codage et Cryptographie Sécurité des systèmes logiciels
8:50 - 9:00 Ouverture Ouverture
9:00 - 9:45

New Challenges to Counteract Higher-Order Side-Channel Attacks
Sonia Belaïd

Malware and botnets Investigations & Research
Eric Freyssinet

9:45 - 10:30

Exposé sur la cryptographie en boite blanche
Matthieu Rivain

La sécurité dans les couches basses du logiciel
Vincent Nicomette
10:30 - 11:00

Pause café

11:00 - 11:45

SpaceMint: overcoming Bitcoin's waste of energy
Georg Fuchsbauer

Malware Devirtualization with Predicate Synthesis
Fabrizio Biondi
11:45 - 12:30

Bad symmetric crypto in the real world
Gaëtan Leurent

Discussion autour du GT Sécurité des systèmes logiciels
12:30 - 14:00


Journées nationales 2017 - Pré-GDR Sécurité

14:00 - 14:15

Ouverture par Michel Bidoit

14:15 - 15:15

Exposé invité du pré-GDR
Physically Secure Implementations & Open Designs
Francois-Xavier Standaert

15:15 - 15:45 Pause café
15:45 - 16:30

Exposé du GT Protection de la vie privée
Yves-Alexandre de Montjoye

16:30 - 18:00

Discussion autour du pré-GDR, en présence de Jean Mairesse


Jeudi 1 juin

Journées nationales 2017 - Pré-GDR Sécurité 
9:30 - 10:30

Security of cyber-physical systems: an old idea
Hervé Debar

10:30 - 11:00 Pause café
11:00 - 11:45 Hardware Security and Trust
Exposé du GT Sécurité des systèmes matériels

Giorgio Di Natale
11:45 - 12:30

A Survey of Fully Homomorphic Encryption
Exposé du GT Codage et Cryptographie

Jean-Sébastien Coron

12:30 - 14:00


14:00 - 14:45

"TLS : passé, présent et futur ?"
Exposé du GT Sécurité des réseaux et des infrastructures

Olivier Levillain

14:45 - 15:30

 Formal methods for software security
Thomas Jensen

15:30 - 16:00

Pause café

16:00 - 16:45

Exposé du GT Sécurité des systèmes logiciels
Vincent Strubel

16:45 - 17:00 Clôture des journées nationales


Personnes connectées : 1