Konrad Kohbrok's Homepage


Personal Webpage

View My GitHub Profile

Work and Research

Contact and Current Place of Work

Aalto University
Department of Mathematics and Systems Analysis
Room Y250c
For more contact information see here.

Research Interests

Together with my advisors Christopher Brzuska and Markulf Kohlweiss, I work on bridging the gap between security proofs of composed security protocols and their implementations. So far, I have been working mostly with F* and the proof approach used in the miTLS project. In the future, I would like to further extend my knowledge in programming languages and formal verification.


My work is funded by a grant from Microsoft Research, for which I am very grateful.

Workshops and Conferences


State-Separating Proofs: A Reduction Methodology for Real-World Protocols
Chris Brzuska and Antoine Delignat-Lavaud and Konrad Kohbrok and Markulf Kohlweiss
Note that the version on ePrint is slightly outdated. Download a pre-print of our submission to submission to AsiaCrypt here.