Sotabase

Career

· Senior Lecturer, University of Edinburgh (Current)

Publications (136)

Privacy-Friendly Aggregation for the Smart-Grid
International Symposium on Privacy Enhancing Technologies · 2011
437
cited
Dependent types and multi-monadic effects in F*
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
407
cited
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
IACR Cryptology ePrint Archive · 2019
404
cited
An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials
IACR Cryptology ePrint Archive · 2009
315
cited
How to win the clonewars: efficient periodic n-times anonymous authentication
Conference on Computer and Communications Security · 2006
306
cited
A Messy State of the Union: Taming the Composite State Machines of TLS
IEEE Symposium on Security and Privacy · 2015
287
cited
One-Out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin
International Conference on the Theory and Application of Cryptographic Techniques · 2015
245
cited
P-signatures and Noninteractive Anonymous Credentials
Theory of Cryptography Conference · 2008
242
cited
Geppetto: Versatile Verifiable Computation
IEEE Symposium on Security and Privacy · 2015
240
cited
Implementing TLS with Verified Cryptographic Security
IEEE Symposium on Security and Privacy · 2013
209
cited
Updatable and Universal Common Reference Strings with Applications to zk-SNARKs
IACR Cryptology ePrint Archive · 2018
202
cited
On the Non-malleability of the Fiat-Shamir Transform
International Conference on Cryptology in India · 2012
172
cited
Blind and Anonymous Identity-Based Encryption and Authorised Private Searches on Public Key Encrypted Data
International Conference on Theory and Practice of Public Key Cryptography · 2009
156
cited
Square Span Programs with Applications to Succinct NIZK Arguments
International Conference on the Theory and Application of Cryptology and Information Security · 2014
132
cited
Composable and Modular Anonymous Credentials: Definitions and Practical Constructions
International Conference on the Theory and Application of Cryptology and Information Security · 2015
125
cited
Pinocchio coin: building zerocoin from a succinct pairing-based proof system
PETShop '13 · 2013
125
cited
Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions
Journal of Cryptology · 2012
117
cited
Scramble! Your Social Network Data
International Symposium on Privacy Enhancing Technologies · 2011
109
cited
Malleable Proof Systems and Applications
International Conference on the Theory and Application of Cryptographic Techniques · 2012
107
cited
Smart meter aggregation via secret-sharing
ACM workshop on Smart Energy Grid Security · 2013
100
cited
Sotabase
Markulf Kohlweiss | Researcher Profile | Sotabase | Sotabase