Renforcer la sécurité des logiciels par l’analyse formelle de leur code exécutable.
Lire la suite
Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.
Lire la suite
Lire la suite
L’interconnexion des réseaux et des objets démultiplie les risques d’attaques malveillantes. Mais l’IA peut aider à les déjouer, tout comme elle peut, en amont, identifier les failles potentielles. Peut-elle aussi protéger notre vie privée ?
Lire la suite
Lire la suite
Le lorem ipsum est, en imprimerie, une suite de mots sans signification utilisée à titre provisoire pour calibrer une mise en page
Lire la suite
Lire la suite