Travelled to:1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:S.Shinde I.Parameshwaran E.Budianto H.Dang A.Sadhu M.Fazzini A.Orso R.Sekar V.Puranik L.Luu B.Demsky P.Poosankam S.McCamant D.Song
Talks about:binari (2) applic (2) base (2) auto (2) xss (2) dom (2) csp (2) instrumentationwith (1) constraint (1) retrofit (1)
Person: Prateek Saxena
DBLP: Saxena:Prateek
Contributed to:
2015
2015
2014
2009
2008Wrote 6 papers:
- ESEC-FSE-2015-ParameshwaranBS #scalability
- Auto-patching DOM-based XSS at scale (IP, EB, SS, HD, AS, PS), pp. 272–283.
- ESEC-FSE-2015-ParameshwaranBS15a #framework #named #platform #robust #testing
- DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.
- ICSE-v1-2015-FazziniSO #automation #csp #named #web
- AutoCSP: Automatically Retrofitting CSP to Web Applications (MF, PS, AO), pp. 336–346.
- PLDI-2014-LuuSSD #bound #constraints #string
- A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.
- ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation
- Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
- CGO-2008-SaxenaSP #fine-grained #performance
- Efficient fine-grained binary instrumentationwith applications to taint-tracking (PS, RS, VP), pp. 74–83.