Travelled to:1 × Portugal
3 × USA
Collaborated with:M.F.Kaashoek N.Zeldovich X.Wang T.Kim Z.Jia D.Ziegler T.Chajed A.Chlipala Y.Mao D.Zhou
Talks about:system (2) disclosur (1) retroact (1) identifi (1) softwar (1) princip (1) certifi (1) integr (1) inform (1) improv (1)
Person: Haogang Chen
DBLP: Chen:Haogang
Contributed to:
2015
201420122011Wrote 4 papers:
- SOSP-2015-ChenZCCKZ #file system #hoare #logic #using
- Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.
- OSDI-2014-ChenKWZK #identification #web
- Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
- OSDI-2012-WangCJZK #integer #security
- Improving Integer Security for Systems with KINT (XW, HC, ZJ, NZ, MFK), pp. 163–177.
- SOSP-2011-MaoCZWZK #api #fault #multi
- Software fault isolation with API integrity and multi-principal modules (YM, HC, DZ, XW, NZ, MFK), pp. 115–128.