CogniCrypt - the secure integration of cryptographic software / Stefan Krüger ; Advisors: Prof. Dr. Eric Bodden, Prof. Dr. Karim Ali