2008 |
8 | EE | Davide Balzarotti,
Marco Cova,
Viktoria Felmetsger,
Nenad Jovanovic,
Engin Kirda,
Christopher Kruegel,
Giovanni Vigna:
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications.
IEEE Symposium on Security and Privacy 2008: 387-401 |
7 | EE | Davide Balzarotti,
Greg Banks,
Marco Cova,
Viktoria Felmetsger,
Richard A. Kemmerer,
William K. Robertson,
Fredrik Valeur,
Giovanni Vigna:
Are your votes really counted?: testing the security of real-world electronic voting systems.
ISSTA 2008: 237-248 |
2007 |
6 | EE | Davide Balzarotti,
Marco Cova,
Viktoria Felmetsger,
Giovanni Vigna:
Multi-module vulnerability analysis of web-based applications.
ACM Conference on Computer and Communications Security 2007: 25-35 |
5 | EE | Marco Cova,
Davide Balzarotti,
Viktoria Felmetsger,
Giovanni Vigna:
Swaddler: An Approach for the Anomaly-Based Detection of State Violations in Web Applications.
RAID 2007: 63-86 |
4 | EE | Marco Cova,
Viktoria Felmetsger,
Giovanni Vigna:
Vulnerability Analysis of Web-based Applications.
Test and Analysis of Web Services 2007: 363-394 |
2006 |
3 | EE | Marco Cova,
Viktoria Felmetsger,
Greg Banks,
Giovanni Vigna:
Static Detection of Vulnerabilities in x86 Executables.
ACSAC 2006: 269-278 |
2 | EE | Greg Banks,
Marco Cova,
Viktoria Felmetsger,
Kevin C. Almeroth,
Richard A. Kemmerer,
Giovanni Vigna:
SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr.
ISC 2006: 343-358 |
2005 |
1 | EE | Viktoria Felmetsger,
Giovanni Vigna:
Exploiting OS-Level Mechanisms to Implement Mobile Code Security.
ICECCS 2005: 234-243 |