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)
Frédéric Besson (Inria/Irisa)
Verification of a x509 parser
Ryad Benadjila, Arnaud Ebalard et Patricia Mouy (ANSSI)
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)
Stéphane Duverger (Airbus)
Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation
Sebastian Poeplau (Eurecom)
Sebastian Poeplau (Eurecom)
Formats de fichiers: décisions et conséquences
Ange Albertini (Google)
Ange Albertini (Google)
Rust: Towards Better Code Security
Pierre Chifflier (ANSSI)
Pierre Chifflier (ANSSI)
Éprouver la robustesse d’un système avec Fuddly
Éric Lacombe (Airbus)
É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)
Sébasten Bardin (CEA)
OWASP, Lizard Meetups, et référentiel 62443
Jean-François Baillette(G-Echo)
Jean-François Baillette(G-Echo)
SPARK for Security
Yannick Moy (AdaCore)
Yannick Moy (AdaCore)
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Alexander Senier (Comonpolit)
Alexander Senier (Comonpolit)
RESSI 2020
Grégory Blanc et Olivier Levillain (Télécom SudParis)
Grégory Blanc et Olivier Levillain (Télécom SudParis)
Sécurité Made In Breizh
Ludovic Mé (Inria)
Ludovic Mé (Inria)