@incollection {deRuiterPoll2012,
   author = {de Ruiter, Joeri and Poll, Erik},
   affiliation = {Digital Security Group, Institute for Computing and Information Science (ICIS), Radboud University Nijmegen, The Netherlands},
   title = {Formal Analysis of the {EMV} Protocol Suite},
   booktitle = {Theory of Security and Applications},
   series = {Lecture Notes in Computer Science},
   editor = {M{\"{o}}dersheim, S. and Palamidessi, C.},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-642-27374-2},
   pages = {113-129},
   volume = {6993},
   url = {http://dx.doi.org/10.1007/978-3-642-27375-9_7},
   year = {2012}
}