BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Balzarotti:Davide

Contributed to:

ISSTA 20122012
SAC 20122012
TAP 20122012
ISSTA 20082008
SAC 20052005
SEKE 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.