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