Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Wed 25 Oct 2017 14:30 - 15:00 at Regency D - Security Chair(s): Karim Ali

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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

13:30 - 15:00: SPLASH-I - Security at Regency D
Chair(s): Karim AliUniversity of Alberta
splash-2017-SPLASH-I13:30 - 14:00
Ben LivshitsImperial College London, UK
splash-2017-SPLASH-I14:00 - 14:30
splash-2017-SPLASH-I14:30 - 15:00
Jean YangCarnegie Mellon University