Haogang Chen

Affiliations:
  • Massachusetts Institute of Technology, Cambridge, USA (PhD 2016)


According to our database1, Haogang Chen authored at least 12 papers between 2011 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Certifying a file system using crash hoare logic: correctness in the presence of crashes.
Commun. ACM, 2017

Verifying a high-performance crash-safe file system using a tree specification.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016
Certifying a crash-safe file system.
PhD thesis, 2016

Using Crash Hoare Logic for Certifying the FSCQ File System.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

2015
Specifying Crash Safety for Storage Systems.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014
Identifying Information Disclosure in Web Applications with Retroactive Auditing.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Why does cryptographic software fail?: a case study and open problems.
Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013
Security bugs in embedded interpreters.
Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012
Improving Integer Security for Systems with KINT.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Undefined behavior: what happened to my code?
Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011
Software fault isolation with API integrity and multi-principal modules.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Linux kernel vulnerabilities: state-of-the-art defenses and open problems.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011


  Loading...