BibTex format
@article{Maffeis:2012,
author = {Maffeis, S and Rezk, T},
journal = {PLAS'12 - Proceedings of Programming Languages and Analysis for Security},
title = {PLAS'12 - Proceedings of Programming Languages and Analysis for Security: Preface},
year = {2012}
}