À propos de cet événement
La sécurité logicielle, du système au binaire : comment éviter les quiproquos par la sélection de langages et l’analyse.
Intervenant :
Yannick Moy, Static Analysis Lead
Arnaud Charlet, Technical Director
La plupart des logiciels sont vulnérables, et les correctifs de sécurité font partie de leur cycle de vie. Pour les logiciels industriels critiques, il est parfois difficile (logiciels embarqués) ou très coûteux (logiciels certifiés) de proposer des mises à jour. Pour ces industriels, l’utilisation de langages de programmation et d’outils d’analyse appropriés permet de diminuer le risque d’attaque. AdaCore fournit ces solutions à ses clients des domaines spatial, aéronautique, ferroviaire, militaire, automobile, médical, etc.
As part of an open innovation approach, Systematic Paris-Region brings together and drives an an ecosystem of excellence structured around 6 technological hubs and 3 economic and societal challenges.