Christoph Egger

My active research focuses on the "correct" way to define security for complex systems. To that end I am interested in methods to improve current definition systems like Code-Based Game-Playing Proofs and Universal Composability as well as information-inspired approaches. I also like to work on the intersection between cryptorgaphy and steganography (leading to concrete systems) as well as computational complexity (understanding primitives like hash functions better). In the past I have worked, among other things, on System Software Engineering and Software Product Lines, Coalgebraic Modal Logic and Anonymity Networks.