Andrew Myers, Cornell University

Abstract

I discuss our previous and ongoing work on using language-based information flow to capture security requirements in a way that permits automatic transformation into distributed programs employing cryptographic protocols. When confidentiality and integrity requirements are expressed as types in the programming language, a compiler can automatically partition and replicate code and data and to insert appropriate cryptographic protocols where needed.

Video