Patricia Mouy

Patricia est responsable du laboratoire Sûreté et Sécurité des logiciels du CEA-List. Titulaire d’une thèse réalisée au CEA sur l’analyse concolique du code C, elle a développé une expertise en méthodes formelles, analyse de code et sécurité des logiciels. Après une expérience chez Siemens comme experte en méthodes B, puis plusieurs années de recherche au CEA, elle rejoint l’ANSSI en 2018 comme experte en méthodes formelles et analyse de code pour la sécurité. Experte Senior Fellow Cybersécurité au CEA DRT, elle coordonne les activités de cybersécurité du CEA-List, notamment en sécurité logicielle, chiffrement avancé et sécurité des réseaux. Elle pilote plusieurs projets de référence, dont le PEPR Cybersécurité SecurEval et RAR Audace! TwinSec, dédié à la conception d’un jumeau numérique holistique pour la sécurisation des systèmes embarqués.