Max Tuengerthal. Analysis of real-world security protocols in a universal composability framework. PhD thesis, University of Trier, 2013. [doi]
@phdthesis{dnb-2237, title = {Analysis of real-world security protocols in a universal composability framework}, author = {Max Tuengerthal}, year = {2013}, url = {http://d-nb.info/1037219570}, researchr = {https://researchr.org/publication/dnb-2237}, cites = {0}, citedby = {0}, school = {University of Trier}, }