Date Posted: 8/13/2013

Fred Schneider gave an invited talk at the annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI) entitled "Programming Languages in Security": Click Here