Journée thématique du GT SSLR du 27 novembre 2019 sur la sécurité du logiciel

Quels outils pour construire, valider, corriger et auditer la sécurité du code en prenant en compte l’évolution des attaques ?

Page de l’événement https://gtsslr19.sciencesconf.org

Présentations

Information-Flow Preservation in Compiler Optimisations
Frédéric Besson (Inria/Irisa)
Verification of a x509 parser
Ryad Benadjila, Arnaud Ebalard et Patricia Mouy (ANSSI)
Tendances et contraintes de l’automatisation de fuzzing d’OS embarqué – point de vue d’un industriel
Stéphane Duverger (Airbus)
Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation
Sebastian Poeplau (Eurecom)
Formats de fichiers: décisions et conséquences
Ange Albertini (Google)
Rust: Towards Better Code Security
Pierre Chifflier (ANSSI)
Éprouver la robustesse d’un système avec Fuddly
Éric Lacombe (Airbus)

Rump sessions

Annonce de la journée du GT Méthodes Formelles pour la Sécurité et présentation de résultats du CEA List
Sébasten Bardin (CEA)
OWASP, Lizard Meetups, et référentiel 62443
Jean-François Baillette(G-Echo)
SPARK for Security
Yannick Moy (AdaCore)
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Alexander Senier (Comonpolit)
RESSI 2020
Grégory Blanc et Olivier Levillain (Télécom SudParis)
Sécurité Made In Breizh
Ludovic Mé (Inria)