Travelled to:1 × Italy
1 × USA
Collaborated with:D.Balzarotti T.Scholte E.Kirda G.Banks M.Cova V.Felmetsger R.A.Kemmerer F.Valeur G.Vigna
Talks about:vote (2) electron (1) languag (1) analysi (1) system (1) realli (1) mechan (1) applic (1) world (1) valid (1)
Person: William K. Robertson
DBLP: Robertson:William_K=
Contributed to:
2012
2008Wrote 2 papers:
- 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.
- 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.