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
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
AGATE: Augmented Global Attested Trusted Execution in the Universal Composability framework
Martinico, L. & Kohlweiss, M., 11 Aug 2025, 2025 IEEE 38th Computer Security Foundations Symposium (CSF). Institute of Electrical and Electronics Engineers, p. 1-28 28 p. 1369. (IEEE Computer Security Foundations Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
SyRA: Sybil-Resilient Anonymous signatures with applications to decentralized identity
Crites, E., Kiayias, A., Kohlweiss, M. & Sarencheh, A., 1 Jul 2025, (Accepted/In press) Proceedings of the 32nd ACM Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 1-15 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Foundations of anonymous signatures: Formal definitions, simplified requirements, and a construction based on general assumptions
Bobolz, J., Diaz, J. & Kohlweiss, M., 16 Feb 2025, Financial Cryptography and Data Security: 28th International Conference. Springer, Vol. 14745. p. 121-139 19 p. (Financial Cryptography and Data Security; vol. 14745).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
The Brave New World of Global Generic Groups and UC-Secure Zero-Overhead SNARKs
Bobolz, J., Farshim, P., Kohlweiss, M. & Takahashi, A., 2 Dec 2024, Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2–6, 2024, Proceedings, Part I. Springer, p. 90-124 35 p. (Lecture Notes in Computer Science; vol. 15364).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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
-
UC Handlers
Lindley, S. (Principal Investigator) & Kohlweiss, M. (Co-investigator)
1/05/25 → 30/04/28
Project: Research
-
ZK lab (IOHK Markulf Kohlweiss)
Kohlweiss, M. (Principal Investigator)
19/05/22 → 18/01/29
Project: Research
-
GUPT: A Hardware-Assisted Secure And Private Data Analytics Service 2
Kohlweiss, M. (Principal Investigator) & Honda, M. (Co-investigator)
UK central government bodies/local authorities, health and hospital authorities
1/10/21 → 31/05/22
Project: Research