Static Detection of Vulnerabilities in x86 Executables. - Marco Cova; Viktoria Felmetsger; Greg Banks; Giovanni Vigna (ACSAC, 2006)

SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr. - Greg Banks; Marco Cova; Viktoria Felmetsger; Kevin C. Almeroth; Richard A. Kemmerer; Giovanni Vigna (ISC, 2006)

Are your votes really counted?: testing the security of real-world electronic voting systems. - Davide Balzarotti; Greg Banks; Marco Cova; Viktoria Felmetsger; Richard A. Kemmerer; William K. Robertson; Fredrik Valeur; Giovanni Vigna (ISSTA, 2008)

An Experience in Testing the Security of Real-World Electronic Voting Systems. - Davide Balzarotti; Greg Banks; Marco Cova; Viktoria Felmetsger; Richard A. Kemmerer; William K. Robertson; Fredrik Valeur; Giovanni Vigna (IEEE Trans. Software Eng., 2010)

MISHIMA: Multilateration of Internet Hosts Hidden Using Malicious Fast-Flux Agents (Short Paper). - Greg Banks; Aristide Fattori; Richard A. Kemmerer; Christopher Kruegel; Giovanni Vigna (DIMVA, 2011)