The high-profile attacks and data-breaches of the last few yearsdemonstrate the importance of securing software. While there areever more tools that can analyze systems for vulnerabilities, thesedo not help the programmer write secure code in the first place. Toprevent security from becoming a bottleneck–and to preventexpensive security mistakes from becoming increasingly probable–weneed to make it easier to write provably securesoftware.My work on policy-agnostic programming addresses the issue ofunintentional information leaks by factoring out the implementationof information flow security from other functionality. In thisparadigm, programmers specify policies about how sensitive data maybe used directly with the data, instead of as conditional checksacross a program. In this talk, I present dynamic and staticapproaches for policy-agnostic programming, show how to extendthese approaches to support database-backed web applications,and discuss how the policy-agnostic approach can help us secure legacycode written in existing languages.
Wed 25 Oct
|13:30 - 14:00|
Ben LivshitsImperial College London, UK
|14:00 - 14:30|
Cristina CifuentesOracle Labs
|14:30 - 15:00|
Jean YangCarnegie Mellon University