Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution Les fréquentes annonces d’une énième faille de cybersécurité montrent que la sécurité des logiciels...