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

Verification of a x509 parser
Ryad Benadjila, Arnaud Ebalard et Patricia Mouy (ANSSI)
Rust: Towards Better Code Security
Pierre Chifflier (ANSSI)

Rump sessions

OWASP, Lizard Meetups, et référentiel 62443
Jean-François Baillette(G-Echo)
SPARK for Security
Yannick Moy (AdaCore)
RESSI 2020
Grégory Blanc et Olivier Levillain (Télécom SudParis)
Sécurité Made In Breizh
Ludovic Mé (Inria)