Markulf Kohlweiss
Senior Lecturer in Security and Privacy
Associate Member of Institute for Computing Systems Architecture
Member of Laboratory for Foundations of Computer Science
Leave of Absence of Full Session [Sem 1 and Sem 2]
Project supervision of Honours Project
Research Interests
My research lie at the intersection of, formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing protocols, blockchains, and crypto currencies and the formal verification of protocol implementations.
Email Address
IF-5.14, +44 (0) 131 650 2859
Publications - Edinburgh Research Explorer
Personal Page

Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh