USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 4 results:
Filters: Author is Haogang Chen [Clear All Filters]
Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
.
2016. Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Identifying Information Disclosure in Web Applications with Retroactive Auditing. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :555--569.
.
2014. Improving Integer Security for Systems with KINT. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :163--177.
.
2012.