March 14, 2019, 1:30 PM - 2:00 PM
Barrister's Hall - first floor
Boston University Law School
765 Commonwealth Avenue
Boston, MA 02215
Andrew Myers, Cornell University
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.