Travelled to:1 × Czech Republic
2 × Italy
3 × USA
Collaborated with:E.Kirda W.K.Robertson G.P.Picco P.Costa C.Ghezzi M.Monga T.Scholte M.Balduzzi J.Zaddach S.Loureiro A.Armando G.Pellegrino R.Carbone A.Merlo D.Canali A.Lanzi C.Krügel M.Christodorescu G.Banks M.Cova V.Felmetsger R.A.Kemmerer F.Valeur G.Vigna
Talks about:secur (3) support (2) analysi (2) system (2) applic (2) vote (2) test (2) peer (2) lightweight (1) workgroup (1)
Person: Davide Balzarotti
DBLP: Balzarotti:Davide
Contributed to:
2012
2012
201220082005
2002Wrote 7 papers:
- ISSTA-2012-CanaliLBKCK #detection
- A quantitative study of accuracy in system call-based malware detection (DC, AL, DB, CK, MC, EK), pp. 122–132.
- SAC-2012-BalduzziZBKL #analysis #security
- A security analysis of amazon’s elastic compute cloud service (MB, JZ, DB, EK, SL), pp. 1427–1434.
- SAC-2012-ScholteRBK #analysis #empirical #validation #web
- An empirical analysis of input validation mechanisms in web applications and languages (TS, WKR, DB, EK), pp. 1419–1426.
- TAP-2012-ArmandoPCMB #automation #model checking #protocol #security #testing
- From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (AA, GP, RC, AM, DB), pp. 3–18.
- ISSTA-2008-BalzarottiBCFKRVV #security #testing
- Are your votes really counted?: testing the security of real-world electronic voting systems (DB, GB, MC, VF, RAK, WKR, FV, GV), pp. 237–248.
- SAC-2005-PiccoBC #lightweight #named #tuple
- LighTS: a lightweight, customizable tuple space supporting context-aware applications (GPP, DB, PC), pp. 413–419.
- SEKE-2002-BalzarottiGM #configuration management #peer-to-peer
- Supporting configuration management for virtual workgroups ini a peer-to-peer setting (DB, CG, MM), pp. 507–511.