Conférence francophone sur le thème de la sécurité de
l'information.
Elle se déroulera
à Rennes du 5 au 7 juin 2024.
Charles Hymans, chercheur au centre de recherche d'EADS, travaille sur la vérification automatique de programmes pour l'embarqué. Il a effectué sa thèse sur la vérification formelle de descriptions matérielles.