Tuesday, December 4, 2007

Tradeoffs in Retrofitting Security: An Experience Report

Speaker: Mark S. Miller, Google

Abstract:
In 1973, John Reynold's and James Morris' Gedanken Language retrofit object-capability security into an Algol-like base language. Today, there are active projects retrofitting Java, Javascript, Python, Mozart/Oz, OCaml, Perl, and Pict. These represent a variety of approaches, with different tradeoffs regarding legacy compatibility, safety, and expressivity. In this talk I propose a taxonomy of these approaches, and discuss some of the lessons learned to date.

Time: 4 December 2007 (Tuesday) at 1630 hrs
Location: Gates 4B (opposite 490)