Markulf Kohlweiss

Dependent types and multi-monadic effects in F*

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

Computing, Computer Science, Formal Methods +16

Sonic

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

Engineering, Electrical Engineering, Microwave Engineering +16

How to win the clonewars

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

Computing, Computer Science, Computer Systems +14

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

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

Computing, Computer Engineering, Computer Science +17

Geppetto: Versatile Verifiable Computation

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

Computing, Computer Engineering, Computer Science +9