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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies

    Kiayias, A., Kohlweiss, M. & Sarencheh, A., 7 Nov 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 1739-1752 34 p.

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

    Open Access
    File
  • 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, 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, 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, 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. Institute of Electrical and Electronics Engineers, p. 1818-1833 16 p. (IEEE Symposium on Security and Privacy).

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

    Open Access
    File