Concepedia

Markulf Kohlweiss

MK

38

Publications

2.8K

Citations

28

H-Index

2006

Active since

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

Institut national de recherche en sciences et technologies du numérique

IMDEA Software Institute

Markulf Kohlweiss is an author at Microsoft Research (United Kingdom) specializing in engineering, computer science, and data security.

Top concepts

EngineeringCryptographyData SecurityComputer ScienceInformation SecurityData PrivacyFormal VerificationFormal MethodsBlockchainVerification

Publications per year

2006–2022

38

Publications

38

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 280 citations · Full text

Engineering, Type Theory, Verification +16

Mary Maller, Sean Bowe, Markulf Kohlweiss et al. · 2019 · 259 citations · Full text

Structured Reference Strings, Secure Multi-party Computation, Cryptographic Primitive +15

How to win the clonewars

Jan Camenisch, Susan Hohenberger, Markulf Kohlweiss et al. · 2006 · 240 citations · Full text

Engineering, Information Security, Game Theory +17

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 212 citations · Full text

Cryptographic Primitive, Engineering, Information Security +23

Geppetto: Versatile Verifiable Computation

Craig Costello, Cédric Fournet, Jon Howell et al. · 2015 · 183 citations · Full text

Engineering, Verifiable Computation Protocols, Verification +22

Rows per page

1–5 of 38