On the improvement of security proofs

Saqib A. Kakvi. On the improvement of security proofs. PhD thesis, Ruhr University Bochum, 2015. [doi]

Abstract

Abstract is missing.