David Costanzo
Yale University
Computer Science
PhD student
Advisor: Zhong
Shao
Publications
End-to-End Verification of Information-Flow Security for C and Assembly Programs. PLDI 2016
[website]
A Separation Logic for Enforcing Declarative Information Flow Control Policies. POST 2014
[website]
A Case for Behavior-Preserving Actions in Separation Logic. APLAS 2012
[website]
Dissertation
dissertation webpage
Academic History
Undergrad: Princeton University, Class
of '08 - B.S.E. Computer Science
High School: Princeton High
School, Class of '04