Author

Markulf Kohlweiss

Observed names: Ir. Markulf Kohlweiss, Kohlweiss Markulf, Kohlweiss, Markulf, M. Kohlweiss

Observed institutions: Goethe University Frankfurt, University of Copenhagen, Microsoft (United States), Institute on Governance, Universidade de Brasília, Microsoft Research (India), Microsoft Research (United Kingdom), Input Output (Singapore), University of Edinburgh, KU Leuven

ORCID: 0000-0002-8660-9663

Observed ORCID: 0000-0002-8660-9663

OpenAlex ID: A5082774652

Privacy-Friendly Aggregation for the Smart-Grid

2011 · Klaus Kursawe, George Danezis, et al. · Lecture notes in computer science · 378

Dependent types and multi-monadic effects in F*

2016 · Nikhil Swamy, Cătălin Hriţcu, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 314

PDF

Sonic

2019 · Mary Maller, Sean Bowe, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 290

An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials

2009 · Jan Camenisch, Markulf Kohlweiss, et al. · Lecture notes in computer science · 288

PDF

Randomizable Proofs and Delegatable Anonymous Credentials

2009 · Mira Belenkiy, Jan Camenisch, et al. · Lecture notes in computer science · 269

PDF

How to win the clonewars

2006 · Jan Camenisch, Susan Hohenberger, et al. · Proceedings of the ACM Conference on Computer and Communications Security · 240

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

2015 · Benjamin Beurdouche, Karthikeyan Bhargavan, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 218

PDF

P-signatures and Noninteractive Anonymous Credentials

2008 · Mira Belenkiy, Melissa Chase, et al. · Springer eBooks · 208

PDF

One-Out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin

2015 · Jens Groth, Markulf Kohlweiss · Lecture notes in computer science · 198

Geppetto: Versatile Verifiable Computation

2015 · Craig Costello, Cedric Fournet, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 194

PDF

Implementing TLS with Verified Cryptographic Security

2013 · K. Bhargavan, C. Fournet, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 178

PDF

Updatable and Universal Common Reference Strings with Applications to zk-SNARKs

2018 · Jens Groth, Markulf Kohlweiss, et al. · Lecture notes in computer science · 152

PDF

Blind and Anonymous Identity-Based Encryption and Authorised Private Searches on Public Key Encrypted Data

2009 · Jan Camenisch, Markulf Kohlweiss, et al. · Lecture notes in computer science · 141

PDF

On the Non-malleability of the Fiat-Shamir Transform

2012 · Sebastian Faust, Markulf Kohlweiss, et al. · Lecture notes in computer science · 126

Malleable Proof Systems and Applications

2012 · Melissa Chase, Markulf Kohlweiss, et al. · Lecture notes in computer science · 104

Square Span Programs with Applications to Succinct NIZK Arguments

2014 · George Danezis, Cédric Fournet, et al. · Lecture notes in computer science · 100

PDF

Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions

2012 · Masayuki Abe, Melissa Chase, et al. · Lecture notes in computer science · 99

Composable and Modular Anonymous Credentials: Definitions and Practical Constructions

2015 · Jan Camenisch, Maria Dubovitskaya, et al. · Lecture notes in computer science · 96

Pinocchio coin

2013 · George Danezis, Cedric Fournet, et al. · 95

Tagged One-Time Signatures: Tight Security and Optimal Tag Size

2013 · Masayuki Abe, Bernardo David, et al. · Lecture notes in computer science · 90

Implementing and Proving the TLS 1.3 Record Layer

2017 · Antoine Delignat-Lavaud, Cedric Fournet, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 88

PDF

Smart meter aggregation via secret-sharing

2013 · George Danezis, Cédric Fournet, et al. · 88

Compact E-Cash and Simulatable VRFs Revisited

2009 · Mira Belenkiy, Melissa Chase, et al. · Lecture notes in computer science · 87

Decentralizing Inner-Product Functional Encryption

2019 · Michel Abdalla, Fabrice Benhamouda, et al. · Lecture notes in computer science · 85

Proving the TLS Handshake Secure (As It Is)

2014 · Karthikeyan Bhargavan, Cédric Fournet, et al. · Lecture notes in computer science · 80

PDF