Computational soundness for standard assumptions of formal cryptography

Jonathan Herzog. Computational soundness for standard assumptions of formal cryptography. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 2004. [doi]

Abstract

Abstract is missing.