IOHK | Markulf Kohlweiss, Zk-SNARKs & Zero Knowledge Proofs Research.IOHK | Markulf Kohlweiss, Zk-SNARKs & Zero Knowledge Proofs Research.

yt:video:cAJERtcZamc cAJERtcZamc UCBJ0p9aCW-W82TwNM-z3V2w Markulf Kohlweiss is Senior Lecturer in the Security and Privacy research group at the University of Edinburgh. He holds a PhD in cryptography from the KU Leuven and was a researcher at Microsoft Research Cambridge in the Programming Principles and Tools group. His research interests lie at the intersection of formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing cryptographic protocols and the formal verification of protocol implementations. He contributed to the Identity Mixer anonymous credential system at IBM Research Zurich and is a founding member of the miTLS project (now project Everest), a verified implementation of the TLS standard. For the latter work he received the Levchin prize for real world cryptography. https://iohk.io/team/markulf-kohlweiss/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/