Programme
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 |
Déjeuner
|
|
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 |
Déjeuner
|
| 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 |
|
