Analysis of real-world security protocols in a universal composability framework

Max Tuengerthal. Analysis of real-world security protocols in a universal composability framework. PhD thesis, University of Trier, 2013. [doi]

Abstract

Abstract is missing.