Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - Murray, Toby (Association for Computing Machinery, 2016)