Un programme d'analyse à l'échelle binaire

Le projet TAVA mené avec le laboratoire Verimag, entre autres, vise à développer une boite à outils pour l'évaluation et la certification IoT : l'AVABOX. 

Mots clés : méthodes formelles, symbolique, et statique, analyse des vulnérabilités   

En savoir plus