Publications
-
Toward General Diagnosis of Static Errors
Danfeng Zhang and Andrew C. Myers
Proceedings of the ACM Symposium on Principles of Programming Languages (POPL '14),
January 2014.
-
Formalizing the SAFECode Type System
Daniel Huang and Greg Morrisett
Proceedings of the Certified Proofs and Programs Conference (CPP '13),
December 2013.
-
Precise Enforcement of Progress-Sensitive Security
Scott Moore, Aslan Askarov, and Stephen Chong
Proceedings of the 19th ACM Conference on Computer and Communications Security (CCS '12),
October 2012.
-
RockSalt: Better, Faster, Stronger SFI for the x86
(PDF)
Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, and
Edward Gan
Proceedings of the ACM Conference on Programming Language Design
and Implementation (PLDI'12) ,
June 2012.
-
Understanding Integer Overflow in C/C++ (PDF)
Will Dietz, Peng Li, John Regehr, and Vikram Adve
Proceedings of the 34th International Conference on Software
Engineering (ICSE '12),
June 2012.
ACM SIGSOFT Distinguished Paper Award.
-
Sharing Mobile Code Securely with Information Flow Control
(HTML)
Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, and Andrew C. Myers
Proceedings of the 2012 IEEE Symposium on Security and Privacy
(Oakland '12),
May 2012.
-
Combining Control-Flow Integrity and Static Analysis for Efficient and
Validated Data Sandboxing (PDF)
Bin Zeng, Gang Tan, and Greg Morrisett
Proceedings of the 18th ACM Conference on Computer and Communications
Security (CCS '11),
October 2011.
-
Static Analysis for Efficient Hybrid Information-flow Control (PDF)
Scott Moore and Stephen Chong
Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF '11),
June 2011.
-
Evaluating Value-Graph Translation Validation for LLVM (PDF)
Jean-Baptiste Tristan, Paul Govereau, and Greg Morrisett
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI '11),
June 2011.
-
Inference of Expressive Declassification Policies (PDF)
Jeffrey A. Vaughan and Stephen Chong
Proceedings of the 2011 IEEE Symposium on Security and Privacy (Oakland '11),
May 2011.
-
Prevalence of Numerical Overflows in C/C++ (PDF)
Will Dietz and Vikram Adve
Technical Report,
March 2011.