David Costanzo

End-to-end verification of information-flow security for C and assembly programs

2016

Protecting the confidentiality of information manipulated by a computing system is one of the most important challenges facing today's cybersecurity community. A promising step toward conquering this challenge is to formally verify that the end-to-end …