EDBT 2026 Demo / reviewers in the wild / expert
Judson Santiago
dblp:38/2402
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2007
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1Theory of computation · 1
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 · 100% |
Topics — the 1 heaviest of 1, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cryptographic protocols and secure computation
internet security protocols |
0.1 | 1 | 2005 | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications · CAV 2005 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2007 | Optimistic Non-repudiation Protocol Analysis
Judson Santiago, Laurent Vigneron |
WISTP | 1 |
| 2005 | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò 0001, Laurent Vigneron |
CAV | 14 |