PLAS'12 - Proceedings of Programming Languages and Analysis for Security: Preface - Maffeis, S; Rezk, T (Plas 12 Proceedings of Programming Languages and Analysis for Security, 2012)