Travelled to:1 × Canada
1 × Portugal
4 × USA
Collaborated with:N.Zeldovich R.Chandra X.Wang M.F.Kaashoek S.Kashyap C.Min B.Lee C.Song H.Chen M.Shah N.Narula Mohan Kumar Steffen Maass Ján Veselý Zi Yan A.Bhattacharjee T.Krishna
Talks about:web (4) recoveri (3) intrus (3) applic (3) audit (2) interconnect (1) disclosur (1) asynchron (1) translat (1) retroact (1)
Person: Taesoo Kim
DBLP: Kim:Taesoo
Contributed to:
2015
20142013201220112010
2018Wrote 7 papers:
- SOSP-2015-MinKLSK #correctness #debugging #file system #semantics
- Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
- OSDI-2014-ChenKWZK #identification #web
- Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
- SOSP-2013-ChandraKZ #web #web service
- Asynchronous intrusion recovery for interconnected web services (RC, TK, NZ), pp. 213–227.
- OSDI-2012-KimCZ #performance #web
- Efficient Patch-based Auditing for Web Application Vulnerabilities (TK, RC, NZ), pp. 193–206.
- SOSP-2011-ChandraKSNZ #web
- Intrusion recovery for database-backed web applications (RC, TK, MS, NN, NZ), pp. 101–114.
- OSDI-2010-KimWZK #using
- Intrusion Recovery Using Selective Re-execution (TK, XW, NZ, MFK), pp. 89–104.
- ASPLOS-2018-KumarMKVYKBK #lazy evaluation #named
- LATR: Lazy Translation Coherence (MK, SM, SK, JV, ZY, TK, AB, TK), pp. 651–664.