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