David Costanzo

Yale University
Computer Science
PhD student
Advisor: Zhong Shao


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 webpage

Academic History

Undergrad: Princeton University, Class of '08 - B.S.E. Computer Science
High School: Princeton High School, Class of '04