If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

My research interest 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.


Dive into the research topics where Markulf Kohlweiss is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or