Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Markulf Kohlweiss

 

RESEARCHER

I am a researcher at Microsoft Research Cambridge in the Programming Principles and Tools group and a member of the Constructive Security sub group.

I did my PhD at COSIC (Computer Security and Industrial Cryptography) group at the Department of Electrical Engineering ESAT of the K.U.Leuven. During my PhD I worked as a researcher in the European PRIME project (Privacy Enhancing Identity Management for Everyone) and PrimeLife project.

In prehistoric times, I received a degree of Master in Computer Science (Diplom Ingenieur, Dipl.-Ing.) from the University of Klagenfurt, Austria and visited IBM Research Zurich for my master thesis.

I am currently collaborating with the following colleagues on privacy-friendly smart metering, zero-knowledge proofs and malleability, and formal verification of cryptographic protocols.

Please look at DBLP for my publications. The information below may be outdated but might contain nuggets that cannot otherwise be found online. Please also contact me directly if you have any questions on my most recent work.

Modular Code-Based Cryptographic Verification
Articles, report, and source

Cryptography Verification Kit
Tolga Acar
Tolga Acar

Cedric Fournet
Cedric Fournet

Andy Gordon
Andy Gordon

Markulf Kohlweiss
Markulf Kohlweiss

Dan Shumow
Dan Shumow

Privacy-friendly Smart Metering
Cedric Fournet
Cedric Fournet

Markulf Kohlweiss
Markulf Kohlweiss

Publications