@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} }