@phdthesis{deRuiter2015, title = {Lessons learned in the analysis of the {EMV} and {TLS} security protocols}, author = {Joeri de Ruiter}, school = {Radboud University Nijmegen}, year = 2015, }