Triet H. M. Le

Explorer des méthodes automatisées pour identifier les vulnérabilités logicielles et leur fiabilité.

Un nouveau cadre améliore la sécurité des logiciels dans plusieurs langages de programmation.