Synthesizing Protocols from Information-flow Policies

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.