Dirk Achenbach. On Provable Security for Complex Systems. PhD thesis, Karlsruhe Institute of Technology, 2016. [doi]
@phdthesis{de-5951, title = {On Provable Security for Complex Systems}, author = {Dirk Achenbach}, year = {2016}, url = {http://d-nb.info/1084112426}, researchr = {https://researchr.org/publication/de-5951}, cites = {0}, citedby = {0}, school = {Karlsruhe Institute of Technology}, }