@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://library.epfl.ch/en/theses/?nr=3845},
	Year = {2007}}