Research output per year
Research output per year
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
-
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile
Projects
- 1 Finished