Markulf Kohlweiss

What is he best known for?

The fields of study he is best known for:

• Programming language
• Computer network
• Cryptography

The scientist’s investigation covers issues in Computer security, Mathematical proof, Authentication, Credential and Theoretical computer science. Markulf Kohlweiss is involved in the study of Computer security that focuses on Encryption in particular. Markulf Kohlweiss interconnects Construct, Programming language, Protocol and Logarithm in the investigation of issues within Mathematical proof.

His Authentication research is multidisciplinary, incorporating elements of Internet security, Cryptographic protocol, Cryptographic primitive and Provable security. Markulf Kohlweiss has researched Credential in several fields, including Security parameter and Anonymity. Markulf Kohlweiss focuses mostly in the field of Theoretical computer science, narrowing it down to topics relating to Signature and, in certain cases, Group and Scheme.

His most cited work include:

• Privacy-friendly aggregation for the smart-grid (294 citations)
• How to win the clonewars: efficient periodic n-times anonymous authentication (215 citations)
• An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials (211 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of investigation include Computer security, Cryptography, Theoretical computer science, Encryption and Mathematical proof. His research on Computer security often connects related areas such as Internet privacy. Markulf Kohlweiss combines subjects such as Handshake, Correctness, Server and Compiler with his study of Cryptography.

His Theoretical computer science research incorporates themes from Signature, Malleability, Random oracle, Structure and Scheme. His studies deal with areas such as Trusted third party and Adversary as well as Encryption. His study in Mathematical proof is interdisciplinary in nature, drawing from both Security parameter, Construct, Protocol, Verifiable secret sharing and Public-key cryptography.

He most often published in these fields:

• Computer security (47.48%)
• Cryptography (29.50%)
• Theoretical computer science (28.06%)

What were the highlights of his more recent work (between 2015-2021)?

• Computer security (47.48%)
• Theoretical computer science (28.06%)
• Cryptography (29.50%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Computer security, Theoretical computer science, Cryptography, Mathematical proof and Zero-knowledge proof. Markulf Kohlweiss frequently studies issues relating to Service and Computer security. His Theoretical computer science research incorporates elements of Structure, Simple, Functional encryption, Scheme and Computation.

His studies in Cryptography integrate themes in fields like Adversary and Server. His Mathematical proof study incorporates themes from Programming language and State. His Zero-knowledge proof research includes themes of Discrete mathematics and Relation.

Between 2015 and 2021, his most popular works were:

• Dependent types and multi-monadic effects in F* (140 citations)
• Updatable and universal common reference strings with applications to zk-SNARKs (36 citations)
• Updatable and universal common reference strings with applications to zk-SNARKs (36 citations)

In his most recent research, the most cited papers focused on:

• Programming language
• Computer network
• The Internet

Markulf Kohlweiss spends much of his time researching Theoretical computer science, Structure, Relation, Zero-knowledge proof and Distributed computing. His Theoretical computer science study combines topics in areas such as Signature and Hash chain, Hash tree, Merkle tree, Hash function. His Structure research integrates issues from Group, Simple, Constant, Scheme and Computation.

His Zero-knowledge proof research entails a greater understanding of Mathematical proof. His Cryptographic primitive study introduces a deeper knowledge of Cryptography. His Computer network research is multidisciplinary, incorporating perspectives in Computer security and Secure by design.