Department of Mathematics and Systems Analysis
For more contact information see here.
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.
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.