Stanford talk "Towards a Formal Foundation of Web Security" July 13 at 4:30pm in Gates 463. http://is.gd/doewR