Markulf Kohlweiss [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
State Separation for Code-Based Game-Playing Proofs Asiacrypt2018-2018 - Brisbane, Australia
Updatable and Universal Common Reference Strings with Applications to zk-SNARKs Crypto2018-2018 - Santa Barbara, USA
A Cryptographically Verified Implementation of crypto_box LondonCryptoDay-2017 - london,uk
Fully Structure-Preserving Signatures and Shrinking Commitments EuroCrypt-2015 - Soia,Bulgaria
One-out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin EuroCrypt-2015 - Soia,Bulgaria
Triple Handshake: Can cryptography, formal methods, and applied security be friends? RWC-2015 - London,UK
Square Span Programs with Applications to Succinct NIZK Arguments AsiaCrypt-2014 - kaohsiung,taiwan
Proving the TLS Handshake Secure (as it is) crypto-2014 - california,usa
ZQL: A Compiler for Privacy-Preserving Data Processing USENIX-2013 - Washington, D.C.
Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions ASIACRYPT-2012 - Beijing,China
Private Client-side Profiling with Random Forests and Hidden Markov Models Privacy Enhancing Technologies Symposium-2012 - Vigo, Spain
Analysis of Revocation Strategies for Anonymous Idemix Credentials CMS-2011 - Ghent, Belgium
Modular Code-Based Cryptographic Verification Confrence-on-computer-communications-security-2011 - Chicago, USA