Markulf Kohlweiss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
65
Venues
18
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
65 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroCrypt | UC4Free! Existing Threshold Signatures are UC Secure. | Jan Bobolz, Elizabeth C. Crites, Markulf Kohlweiss, Akira Takahashi |
| 2026 | PKC | Succinctly Verifiable Computation over Additively-Homomorphically Encrypted Data: Making Privacy-Preserving Blueprints Practical. | Scott Griffy, Markulf Kohlweiss, Anna Lysyanskaya, Meghna Sengupta |
| 2025 | CCS | SyRA: Sybil-Resilient Anonymous Signatures with Applications to Decentralized Identity. | Elizabeth C. Crites, Aggelos Kiayias, Markulf Kohlweiss, Amirreza Sarencheh |
| 2025 | ICCCN | Efficient Batch Opening Schemes for Merkle Tree Commitment with Applications to Trustless Cross-chain Bridge. | Bingsheng Zhang, Wuyunsiqin Wuyunsiqin, Xun Zhang, Markulf Kohlweiss, Kui Ren |
| 2024 | ASIACRYPT | Updatable Privacy-Preserving Blueprints. | Bernardo David, Felix Engelmann, Tore Kasper Frederiksen, Markulf Kohlweiss, Elena Pagnin, Mikhail Volkhov |
| 2024 | CANS | PARScoin: A Privacy-preserving, Auditable, and Regulation-friendly Stablecoin. | Amirreza Sarencheh, Aggelos Kiayias, Markulf Kohlweiss |
| 2024 | FC | Foundations of Anonymous Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions. | Jan Bobolz, Jesus Diaz, Markulf Kohlweiss |
| 2024 | TCC | The Brave New World of Global Generic Groups and UC-Secure Zero-Overhead SNARKs. | Jan Bobolz, Pooya Farshim, Markulf Kohlweiss, Akira Takahashi |
| 2023 | ASIACRYPT | Threshold Structure-Preserving Signatures. | Elizabeth C. Crites, Markulf Kohlweiss, Bart Preneel, Mahdi Sedaghat, Daniel Slamanig |
| 2023 | EuroCrypt | Privacy-Preserving Blueprints. | Markulf Kohlweiss, Anna Lysyanskaya, An Nguyen |
| 2023 | TCC | From Polynomial IOP and Commitments to Non-malleable zkSNARKs. | Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac |
| 2023 | TCC | How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach. | Markulf Kohlweiss, Mahak Pancholi, Akira Takahashi |
| 2022 | ASIACRYPT | Key-Schedule Security for the TLS 1.3 Standard. | Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cdric Fournet, Konrad Kohbrok, Markulf Kohlweiss |
| 2022 | CCS | PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies. | Aggelos Kiayias, Markulf Kohlweiss, Amirreza Sarencheh |
| 2022 | SCN | What Makes Fiat-Shamir zkSNARKs (Updatable SRS) Simulation Extractable? | Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac |
| 2021 | ASIACRYPT | Snarky Ceremonies. | Markulf Kohlweiss, Mary Maller, Janno Siim, Mikhail Volkhov |
| 2021 | CRYPTO | Composition with Knowledge Assumptions. | Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss |
| 2021 | FC | Another Look at Extraction and Randomization of Groth's zk-SNARK. | Karim Baghery, Markulf Kohlweiss, Janno Siim, Mikhail Volkhov |
| 2021 | FC | Mining for Privacy: How to Bootstrap a Snarky Blockchain. | Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss |
| 2021 | PKC | Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption. | Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis |
| 2021 | SP | On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols. | Markulf Kohlweiss, Varun Madathil, Kartik Nayak, Alessandra Scafuro |
| 2019 | CCS | Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings. | Mary Maller, Sean Bowe, Markulf Kohlweiss, Sarah Meiklejohn |
| 2019 | PKC | Decentralizing Inner-Product Functional Encryption. | Michel Abdalla, Fabrice Benhamouda, Markulf Kohlweiss, Hendrik Waldner |
| 2019 | SP | Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake. | Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss, Vassilis Zikas |
| 2018 | ASIACRYPT | State Separation for Code-Based Game-Playing Proofs. | Chris Brzuska, Antoine Delignat-Lavaud, Cdric Fournet, Konrad Kohbrok, Markulf Kohlweiss |
| 2018 | CRYPTO | Updatable and Universal Common Reference Strings with Applications to zk-SNARKs. | Jens Groth, Markulf Kohlweiss, Mary Maller, Sarah Meiklejohn, Ian Miers |
| 2017 | SP | Implementing and Proving the TLS 1.3 Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue |
| 2016 | CCS | Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. | Dario Fiore, Cdric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2016 | SIGCOMM | Light at the middle of the tunnel: middleboxes for selective disclosure of network monitoring to distrusted parties. | Nik Sultana, Markulf Kohlweiss, Andrew W. Moore |
| 2016 | SP | Downgrade Resilience in Key-Exchange Protocols. | Karthikeyan Bhargavan, Christina Brzuska, Cdric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Bguelin |
| 2016 | SP | Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Bryan Parno |
| 2015 | ASIACRYPT | Composable and Modular Anonymous Credentials: Definitions and Practical Constructions. | Jan Camenisch, Maria Dubovitskaya, Kristiyan Haralambiev, Markulf Kohlweiss |
| 2015 | CCS | Observing and Preventing Leakage in MapReduce. | Olga Ohrimenko, Manuel Costa, Cdric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma |
| 2015 | EuroCrypt | Fully Structure-Preserving Signatures and Shrinking Commitments. | Masayuki Abe, Markulf Kohlweiss, Miyako Ohkubo, Mehdi Tibouchi |
| 2015 | EuroCrypt | One-Out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin. | Jens Groth, Markulf Kohlweiss |
| 2015 | INDOCRYPT | (De-)Constructing TLS 1.3. | Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Bjrn Tackmann, Daniele Venturi |
| 2015 | PKC | Anonymous Transferable E-Cash. | Foteini Baldimtsi, Melissa Chase, Georg Fuchsbauer, Markulf Kohlweiss |
| 2015 | SP | A Messy State of the Union: Taming the Composite State Machines of TLS. | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue |
| 2015 | SP | Geppetto: Versatile Verifiable Computation. | Craig Costello, Cdric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur |
| 2014 | ASIACRYPT | Square Span Programs with Applications to Succinct NIZK Arguments. | George Danezis, Cdric Fournet, Jens Groth, Markulf Kohlweiss |
| 2014 | CRYPTO | Proving the TLS Handshake Secure (As It Is). | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Bguelin |
| 2013 | CCS | Smart meter aggregation via secret-sharing. | George Danezis, Cdric Fournet, Markulf Kohlweiss, Santiago Zanella-Bguelin |
| 2013 | CCS | Pinocchio coin: building zerocoin from a succinct pairing-based proof system. | George Danezis, Cdric Fournet, Markulf Kohlweiss, Bryan Parno |
| 2013 | PKC | Tagged One-Time Signatures: Tight Security and Optimal Tag Size. | Masayuki Abe, Bernardo David, Markulf Kohlweiss, Ryo Nishimaki, Miyako Ohkubo |
| 2013 | PKC | Verifiable Elections That Scale for Free. | Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn |
| 2013 | SP | Implementing TLS with Verified Cryptographic Security. | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub |
| 2013 | TCC | Succinct Malleable NIZKs and an Application to Compact Shuffles. | Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn |
| 2012 | ASIACRYPT | Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions. | Masayuki Abe, Melissa Chase, Bernardo David, Markulf Kohlweiss, Ryo Nishimaki, Miyako Ohkubo |
| 2012 | EuroCrypt | Malleable Proof Systems and Applications. | Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn |
| 2012 | INDOCRYPT | On the Non-malleability of the Fiat-Shamir Transform. | Sebastian Faust, Markulf Kohlweiss, Giorgia Azzurra Marson, Daniele Venturi |
| 2012 | SCN | A New Hash-and-Sign Approach and Structure-Preserving Signatures from DLIN. | Melissa Chase, Markulf Kohlweiss |
| 2011 | ASIACRYPT | Structure Preserving CCA Secure Encryption and Applications. | Jan Camenisch, Kristiyan Haralambiev, Markulf Kohlweiss, Jorn Lapon, Vincent Naessens |
| 2011 | CCS | Modular code-based cryptographic verification. | Cdric Fournet, Markulf Kohlweiss, Pierre-Yves Strub |
| 2010 | SCN | Solving Revocation with Efficient Update of Anonymous Credentials. | Jan Camenisch, Markulf Kohlweiss, Claudio Soriente |
| 2010 | SEC | Performance Analysis of Accumulator-Based Revocation Mechanisms. | Jorn Lapon, Markulf Kohlweiss, Bart De Decker, Vincent Naessens |
| 2009 | CRYPTO | Randomizable Proofs and Delegatable Anonymous Credentials. | Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham |
| 2009 | Pairing | Compact E-Cash and Simulatable VRFs Revisited. | Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya |
| 2009 | Pairing | Universally Composable Adaptive Priced Oblivious Transfer. | Alfredo Rial, Markulf Kohlweiss, Bart Preneel |
| 2009 | PKC | Blind and Anonymous Identity-Based Encryption and Authorised Private Searches on Public Key Encrypted Data. | Jan Camenisch, Markulf Kohlweiss, Alfredo Rial, Caroline Sheedy |
| 2009 | PKC | An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials. | Jan Camenisch, Markulf Kohlweiss, Claudio Soriente |
| 2009 | SOUPS | Threshold things that think: usable authorization for resharing. | Roel Peeters, Markulf Kohlweiss, Bart Preneel, Nicky Sulmon |
| 2008 | TCC | P-signatures and Noninteractive Anonymous Credentials. | Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya |
| 2008 | WISTP | A Self-certified and Sybil-Free Framework for Secure Digital Identity Domain Buildup. | Christer Andersson, Markulf Kohlweiss, Leonardo A. Martucci, Andriy Panchenko |
| 2006 | CCS | How to win the clonewars: efficient periodic n-times anonymous authentication. | Jan Camenisch, Susan Hohenberger, Markulf Kohlweiss, Anna Lysyanskaya, Mira Meyerovich |