Markulf Kohlweiss

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 78

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

CCS

CSF

Publications

Jan Bobolz, Jesus Diaz, Markulf Kohlweiss
Foundations of Anonymous Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions. IACR Cryptol. ePrint Arch. 2024 (2024)
Scott Griffy, Markulf Kohlweiss, Anna Lysyanskaya, Meghna Sengupta
Olympic Privacy-Preserving Blueprints: Faster Communication, Highly Functional, Stronger Security. IACR Cryptol. ePrint Arch. 2024 (2024)
Jan Bobolz, Pooya Farshim, Markulf Kohlweiss, Akira Takahashi
The Brave New World of Global Generic Groups and UC-Secure Zero-Overhead SNARKs. IACR Cryptol. ePrint Arch. 2024 (2024)
Amirreza Sarencheh, Aggelos Kiayias, Markulf Kohlweiss
PARScoin: A Privacy-preserving, Auditable, and Regulation-friendly Stablecoin. IACR Cryptol. ePrint Arch. 2023 (2023)
Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
From Polynomial IOP and Commitments to Non-malleable zkSNARKs. IACR Cryptol. ePrint Arch. 2023 (2023)
Markulf Kohlweiss, Mahak Pancholi, Akira Takahashi
How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach. IACR Cryptol. ePrint Arch. 2023 (2023)
Balthazar Bauer, Pooya Farshim, Patrick Harasser, Markulf Kohlweiss
The Uber-Knowledge Assumption: A Bridge to the AGM. IACR Cryptol. ePrint Arch. 2023 (2023)
Markulf Kohlweiss, Anna Lysyanskaya, An Nguyen
Privacy-Preserving Blueprints. EUROCRYPT (2) (2023)
Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
From Polynomial IOP and Commitments to Non-malleable zkSNARKs. TCC (3) (2023)
Bernardo David, Felix Engelmann, Tore Kasper Frederiksen, Markulf Kohlweiss, Elena Pagnin, Mikhail Volkhov
Updatable Privacy-Preserving Blueprints. IACR Cryptol. ePrint Arch. 2023 (2023)
Elizabeth C. Crites, Markulf Kohlweiss, Bart Preneel, Mahdi Sedaghat, Daniel Slamanig
Threshold Structure-Preserving Signatures. ASIACRYPT (2) (2023)
Markulf Kohlweiss, Mahak Pancholi, Akira Takahashi
How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach. TCC (3) (2023)
Felix Engelmann, Thomas Kerber, Markulf Kohlweiss, Mikhail Volkhov
Zswap: zk-SNARK Based Non-Interactive Multi-Asset Swaps. IACR Cryptol. ePrint Arch. 2022 (2022)
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Key-Schedule Security for the TLS 1.3 Standard. ASIACRYPT (1) (2022)
Markulf Kohlweiss, Anna Lysyanskaya, An Nguyen
Privacy-Preserving Blueprints. IACR Cryptol. ePrint Arch. 2022 (2022)
Aggelos Kiayias, Markulf Kohlweiss, Amirreza Sarencheh
PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies. CCS (2022)
Kai Jun Eer, Jesus Diaz, Markulf Kohlweiss
Bottom-Up Trust Registry in Self Sovereign Identity. BLOCKCHAIN (2022)
Mahdi Sedaghat, Daniel Slamanig, Markulf Kohlweiss, Bart Preneel
Structure-Preserving Threshold Signatures. IACR Cryptol. ePrint Arch. 2022 (2022)
Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac
What Makes Fiat-Shamir zkSNARKs (Updatable SRS) Simulation Extractable? SCN (2022)
Aggelos Kiayias, Markulf Kohlweiss, Amirreza Sarencheh
PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies. IACR Cryptol. ePrint Arch. 2022 (2022)
Felix Engelmann, Thomas Kerber, Markulf Kohlweiss, Mikhail Volkhov
Zswap: zk-SNARK Based Non-Interactive Multi-Asset Swaps. Proc. Priv. Enhancing Technol. 2022 (4) (2022)
Kai Jun Eer, Jesus Diaz, Markulf Kohlweiss
Bottom-up Trust Registry in Self Sovereign Identity. CoRR (2022)
Markulf Kohlweiss, Varun Madathil, Kartik Nayak, Alessandra Scafuro
On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols. IACR Cryptol. ePrint Arch. 2021 (2021)
Karim Baghery, Markulf Kohlweiss, Janno Siim, Mikhail Volkhov
Another Look at Extraction and Randomization of Groth's zk-SNARK. Financial Cryptography (1) (2021)
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Key-schedule Security for the TLS 1.3 Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Markulf Kohlweiss, Michal Zajac
On Simulation-Extractability of Universal zkSNARKs. IACR Cryptol. ePrint Arch. 2021 (2021)
Markulf Kohlweiss, Mary Maller, Janno Siim, Mikhail Volkhov
Snarky Ceremonies. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss
KACHINA - Foundations of Private Smart Contracts. CSF (2021)
Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner
Consistency for Functional Encryption. CSF (2021)
Markulf Kohlweiss, Mary Maller, Janno Siim, Mikhail Volkhov
Snarky Ceremonies. ASIACRYPT (3) (2021)
Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis
Steel: Composable Hardware-based Stateful and Randomised Functional Encryption. IACR Cryptol. ePrint Arch. 2021 (2021)
Markulf Kohlweiss, Varun Madathil, Kartik Nayak, Alessandra Scafuro
On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols. IEEE Symposium on Security and Privacy (2021)
Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss
Composition with Knowledge Assumptions. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss
Mining for Privacy: How to Bootstrap a Snarky Blockchain. Financial Cryptography (1) (2021)
Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss
Composition with Knowledge Assumptions. CRYPTO (4) (2021)
Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis
Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption. Public Key Cryptography (2) (2021)
Markulf Kohlweiss, Mikhail Volkhov
Groth16 SNARKs are Randomizable and (Weakly) Simulation Extractable. IACR Cryptol. ePrint Arch. 2020 (2020)
Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss
Mining for Privacy: How to Bootstrap a Snarky Blockchain. IACR Cryptol. ePrint Arch. 2020 (2020)
Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner
Consistency for Functional Encryption. IACR Cryptol. ePrint Arch. 2020 (2020)
Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss
Kachina - Foundations of Private Smart Contracts. IACR Cryptol. ePrint Arch. 2020 (2020)
Michel Abdalla, Fabrice Benhamouda, Markulf Kohlweiss, Hendrik Waldner
Decentralizing Inner-Product Functional Encryption. IACR Cryptol. ePrint Arch. 2019 (2019)
Michel Abdalla, Fabrice Benhamouda, Markulf Kohlweiss, Hendrik Waldner
Decentralizing Inner-Product Functional Encryption. Public Key Cryptography (2) (2019)
Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss, Vassilis Zikas
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake. IEEE Symposium on Security and Privacy (2019)
Mary Maller, Sean Bowe, Markulf Kohlweiss, Sarah Meiklejohn
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings. CCS (2019)
Mary Maller, Sean Bowe, Markulf Kohlweiss, Sarah Meiklejohn
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings. IACR Cryptol. ePrint Arch. 2019 (2019)
Masayuki Abe, Jens Groth, Markulf Kohlweiss, Miyako Ohkubo, Mehdi Tibouchi
Efficient Fully Structure-Preserving Signatures and Shrinking Commitments. J. Cryptol. 32 (3) (2019)
Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
State Separation for Code-Based Game-Playing Proofs. ASIACRYPT (3) (2018)
Chris Brzuska, Antoine Delignat-Lavaud, Konrad Kohbrok, Markulf Kohlweiss
State-Separating Proofs: A Reduction Methodology for Real-World Protocols. IACR Cryptol. ePrint Arch. 2018 (2018)
Thomas Kerber, Markulf Kohlweiss, Aggelos Kiayias, Vassilis Zikas
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake. IACR Cryptol. ePrint Arch. 2018 (2018)
Jens Groth, Markulf Kohlweiss, Mary Maller, Sarah Meiklejohn, Ian Miers
Updatable and Universal Common Reference Strings with Applications to zk-SNARKs. IACR Cryptol. ePrint Arch. 2018 (2018)
Alfredo Rial, George Danezis, Markulf Kohlweiss
Privacy-preserving smart metering revisited. Int. J. Inf. Sec. 17 (1) (2018)
Jens Groth, Markulf Kohlweiss, Mary Maller, Sarah Meiklejohn, Ian Miers
Updatable and Universal Common Reference Strings with Applications to zk-SNARKs. CRYPTO (3) (2018)
Fatemeh Shirazi, Elena Andreeva, Markulf Kohlweiss, Claudia Díaz
Multiparty Routing: Secure Routing for Mixnets. CoRR (2017)
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue
Implementing and Proving the TLS 1.3 Record Layer. IEEE Symposium on Security and Privacy (2017)
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL (2017)
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
A messy state of the union: taming the composite state machines of TLS. Commun. ACM 60 (2) (2017)
Masayuki Abe, Melissa Chase, Bernardo David, Markulf Kohlweiss, Ryo Nishimaki, Miyako Ohkubo
Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions. J. Cryptol. 29 (4) (2016)
Nik Sultana, Markulf Kohlweiss, Andrew W. Moore
Light at the middle of the tunnel: middleboxes for selective disclosure of network monitoring to distrusted parties. HotMiddlebox@SIGCOMM (2016)
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. IEEE Symposium on Security and Privacy (2016)
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. CCS (2016)
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin
Downgrade Resilience in Key-Exchange Protocols. IEEE Symposium on Security and Privacy (2016)
Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin
Dependent types and multi-monadic effects in F. POPL (2016)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss
miTLS: Verifying Protocol Implementations against Real-World Attacks. IEEE Secur. Priv. 14 (6) (2016)
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin
Downgrade Resilience in Key-Exchange Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. IACR Cryptol. ePrint Arch. 2016 (2016)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Jean Karim Zinzindohoue
Implementing and Proving the TLS 1.3 Record Layer. IACR Cryptol. ePrint Arch. 2016 (2016)
Markulf Kohlweiss, Ian Miers
Accountable Metadata-Hiding Escrow: A Group Signature Case Study. Proc. Priv. Enhancing Technol. 2015 (2) (2015)
Jan Camenisch, Maria Dubovitskaya, Kristiyan Haralambiev, Markulf Kohlweiss
Composable and Modular Anonymous Credentials: Definitions and Practical Constructions. ASIACRYPT (2) (2015)
Masayuki Abe, Markulf Kohlweiss, Miyako Ohkubo, Mehdi Tibouchi
Fully Structure-Preserving Signatures and Shrinking Commitments. IACR Cryptol. ePrint Arch. 2015 (2015)
Olga Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
Observing and Preventing Leakage in MapReduce. CCS (2015)
Jens Groth, Markulf Kohlweiss
One-Out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin. EUROCRYPT (2) (2015)
Foteini Baldimtsi, Melissa Chase, Georg Fuchsbauer, Markulf Kohlweiss
Anonymous Transferable E-Cash. Public Key Cryptography (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IEEE Symposium on Security and Privacy (2015)
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
A Messy State of the Union: Taming the Composite State Machines of TLS. IEEE Symposium on Security and Privacy (2015)
Masayuki Abe, Bernardo David, Markulf Kohlweiss, Ryo Nishimaki, Miyako Ohkubo
Tagged One-Time Signatures: Tight Security and Optimal Tag Size. IACR Cryptol. ePrint Arch. 2015 (2015)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
(De-)Constructing TLS 1.3. INDOCRYPT (2015)
Jan Camenisch, Maria Dubovitskaya, Kristiyan Haralambiev, Markulf Kohlweiss
Composable & Modular Anonymous Credentials: Definitions and Practical Constructions. IACR Cryptol. ePrint Arch. 2015 (2015)
Masayuki Abe, Markulf Kohlweiss, Miyako Ohkubo, Mehdi Tibouchi
Fully Structure-Preserving Signatures and Shrinking Commitments. EUROCRYPT (2) (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Markulf Kohlweiss, Ian Miers
Accountable Tracing Signatures. IACR Cryptol. ePrint Arch. 2014 (2014)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (As It Is). CRYPTO (2) (2014)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (as it is). IACR Cryptol. ePrint Arch. 2014 (2014)
George Danezis, Cédric Fournet, Jens Groth, Markulf Kohlweiss
Square Span Programs with Applications to Succinct NIZK Arguments. IACR Cryptol. ePrint Arch. 2014 (2014)
Jens Groth, Markulf Kohlweiss
One-out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin. IACR Cryptol. ePrint Arch. 2014 (2014)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
(De-)Constructing TLS. IACR Cryptol. ePrint Arch. 2014 (2014)
Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn
Malleable Signatures: New Definitions and Delegatable Anonymous Credentials. CSF (2014)
George Danezis, Cédric Fournet, Jens Groth, Markulf Kohlweiss
Square Span Programs with Applications to Succinct NIZK Arguments. ASIACRYPT (1) (2014)
Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn
Succinct Malleable NIZKs and an Application to Compact Shuffles. TCC (2013)
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Pinocchio coin: building zerocoin from a succinct pairing-based proof system. PETShop@CCS (2013)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
Anonymity-Preserving Public-Key Encryption: A Constructive Approach. Privacy Enhancing Technologies (2013)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub
Implementing TLS with Verified Cryptographic Security. IEEE Symposium on Security and Privacy (2013)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
Anonymity-preserving Public-Key Encryption: A Constructive Approach. IACR Cryptol. ePrint Arch. 2013 (2013)
Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn
Verifiable Elections That Scale for Free. Public Key Cryptography (2013)
Markulf Kohlweiss, Alfredo Rial
Optimally private access control. WPES (2013)
Nik Sultana, Moritz Y. Becker, Markulf Kohlweiss
Selective Disclosure in Datalog-Based Trust Management. STM (2013)
Cédric Fournet, Markulf Kohlweiss, George Danezis, Zhengqin Luo
ZQL: A Compiler for Privacy-Preserving Data Processing. USENIX Security Symposium (2013)
Masayuki Abe, Bernardo David, Markulf Kohlweiss, Ryo Nishimaki, Miyako Ohkubo
Tagged One-Time Signatures: Tight Security and Optimal Tag Size. Public Key Cryptography (2013)
George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella Béguelin
Smart meter aggregation via secret-sharing. SEGS@CCS (2013)
Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn
Malleable Signatures: Complex Unary Transformations and Delegatable Anonymous Credentials. IACR Cryptol. ePrint Arch. 2013 (2013)
Melissa Chase, Markulf Kohlweiss
A New Hash-and-Sign Approach and Structure-Preserving Signatures from DLIN. SCN (2012)

Markulf Kohlweiss.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Markulf Kohlweiss