Triet H. M. Le

Überprüfung automatisierter Methoden zur Identifizierung von Softwareanfälligkeiten und deren Zuverlässigkeit.

Ein neues Framework verbessert die Software-Sicherheit über mehrere Programmiersprachen hinweg.