On Provable Security for Complex Systems

Dirk Achenbach. On Provable Security for Complex Systems. PhD thesis, Karlsruhe Institute of Technology, 2016. [doi]

Abstract

Abstract is missing.