@phdthesis{skramerPhDthesis,
	Author = {S. Kramer},
	Keywords = {applied formal logic, information security},
	School = {\'{E}cole {P}olytechnique {F}\'{e}d\'{e}rale de {L}ausanne},
	Title = {Logical Concepts in Cryptography},
	Url = {https://infoscience.epfl.ch/record/104416/files/EPFL_TH3845.pdf},
	Year = {2007}}