Demo Data from EDBT 2026 / reviewers in the wild / expert
Leah Kannan
dblp:332/2938
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
1 paper |
Cryptographic protocols and secure computation · 67% Network security · 33% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cryptographic protocols and secure computation › key management › public key infrastructure
certificate validation |
0.6 | 1 | 2022 | Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies · CCS 2022 |
Cryptographic protocols and secure computation › key management
public key infrastructure |
0.6 | 1 | 2022 | Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies · CCS 2022 |
Network security › secure communication › secure communication protocol
TLS |
0.6 | 1 | 2022 | Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies · CCS 2022 |
Methods — techniques the papers use, named apart from their topics
logic programming · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation PoliciesabstractThis paper proposes using a logic programming language to disentangle X.509 certificate validation policy from mechanism. Expressing validation policies in a logic programming language provides multiple benefits. First, policy and mechanism can be more independently written, augmented, and analyzed compared to the current practice of interweaving them within a C or C++ implementation. Once written, these policies can be easily shared and modified for use in different TLS clients. Further, logic programming allows us to determine when clients differ in their policies and use the power of imputation to automatically generate interesting certificates, e.g., a certificate that will be accepted by one browser but not by another. James Larisch, Waqar Aqeel, Michael Lum, Yaelle Goldschlag, Leah Kannan, Kasra Torshizi, Taejoong Chung, Dave Levin, Bruce M. Maggs, Alan Mislove, Bryan Parno, Christo Wilson |
CCS | 5 |