Biblio

Export 4 results:
Filters: Author is Haogang Chen  [Clear All Filters]
2016
Chen H, Ziegler D, Chajed T, Chlipala A, M. Kaashoek F, Zeldovich N.  2016.  Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 {USENIX} Annual Technical Conference ({USENIX} {ATC} 16).
2015
Chen H, Ziegler D, Chlipala A, M. Kaashoek F, Kohler E, Zeldovich N.  2015.  Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS {XV}).
2014
Chen H, Kim T, Wang X, Zeldovich N, M. Kaashoek F.  2014.  Identifying Information Disclosure in Web Applications with Retroactive Auditing. 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). :555--569.
2012
Wang X, Chen H, Jia Z, Zeldovich N, M. Kaashoek F.  2012.  Improving Integer Security for Systems with KINT. 10th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 12). :163--177.