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