If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

My research interest lie at the intersection of formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing cryptographic protocols and the formal verification of protocol implementations.

Fingerprint

Dive into the research topics where Markulf Kohlweiss is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Snarky Ceremonies

    Kohlweiss, M., Maller, M., Siim, J. & Volkhov, M., 1 Dec 2021, Advances in Cryptology -- ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part III. Tibouchi, M. & Wang, H. (eds.). Cham: Springer International Publishing Switzerland, p. 98-127 30 p. (Lecture Notes in Computer Science; vol. 13092).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Another Look at Extraction and Randomization of Groth's zk-SNARK

    Baghery, K., Kohlweiss, M., Siim, J. & Volkhov, M., 23 Oct 2021, Financial Cryptography and Data Security. Borisov, N. & Diaz, C. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 457-475 19 p. (Lecture Notes in Computer Science; vol. 12674).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Mining for Privacy: How to Bootstrap a Snarky Blockchain

    Kerber, T., Kiayias, A. & Kohlweiss, M., 23 Oct 2021, Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I. Borisov, N. & Diaz, C. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 497-514 18 p. (Lecture Notes in Computer Science; vol. 12674).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols

    Kohlweiss, M., Madathil, V., Nayak, K. & Scafuro, A., 26 Aug 2021, 2021 IEEE Symposium on Security and Privacy (SP): SP 2021. IEEE, p. 1818-1833 16 p. (IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Composition with Knowledge Assumptions

    Kerber, T., Kiayias, A. & Kohlweiss, M., 11 Aug 2021, Advances in Cryptology – CRYPTO 2021. Malkin, T. & Peikert, C. (eds.). Springer, Cham, p. 364-393 30 p. (Lecture Notes in Computer Science; vol. 12828).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File