Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Reviewers in the wild

The CS expert database: 1,777,551 experts · 2,837,695 papers in CCF A–C and ICORE A*–C venues · 10 venue-derived domains · snapshot 2026-09-22.

Experts who meet the recruitment bar

The bar is a setting of the venue, one per role; it is edited on its own page.
Reviewer bar: SIGMOD, VLDB, ICDE, PODS, SIGKDD · junior 2+ first-author in 5y or senior 4+ papers in 5y · change the bar
List the experts who meet it

Experts by research domain — the database's own venue-derived domains; a paper can belong to several; active = at least one paper since 2021

Experts by expertise

The expertise taxonomy: 90,661 topics extracted from 634,694 papers of 537,692 experts, organised under the ten CCF categories and 168 areas. Pick a category, then narrow down to a topic; every level lists its experts by weight.
Network and information security›Cryptographic primitives and cryptanalysis›cryptographic implementation›cryptographic implementation verification topic 10 papers · 46 experts · broader topic added to organise its sub-topics
Experts on cryptographic implementation verification 46 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years)
ExpertWeight Papers on topicLast on topic All papersLastORCID
Bryan Parno
dblp:49/6324
0.9 22023 78 · 37 since 2021 2026 verified
Bo-Yin Yang
dblp:37/4997
0.7 12023 54 · 13 since 2021 2026 reported
Menucha Winchell
dblp:361/1968
0.7 12023 1 · 1 since 2021 2023 reported
Sarah Cai
dblp:361/1752
0.7 12023 1 · 1 since 2021 2023 reported
Bow-Yaw Wang
dblp:36/6517
0.7 12023 60 · 11 since 2021 2026 corroborated
Ruiling Chen
dblp:334/7228
0.7 12023 2 · 2 since 2021 2023 reported
Ming-Hsien Tsai 0001
dblp:30/3940-1
0.7 12023 27 · 6 since 2021 2025 verified
Sydney Gibson
dblp:280/4234
0.7 12023 4 · 4 since 2021 2026 corroborated
Xiaomu Shi
dblp:14/10262
0.7 12023 13 · 8 since 2021 2026 corroborated
Jiaxiang Liu 0001
dblp:121/1088-1
0.7 12023 19 · 13 since 2021 2026 conflict
Yi Zhou 0025
dblp:01/1901-25
0.7 12023 9 · 9 since 2021 2025 verified
Karthikeyan Bhargavan
dblp:80/3503
0.6 22022 71 · 14 since 2021 2026 verified
Jonathan Protzenko
dblp:132/3972
0.6 22022 28 · 15 since 2021 2026 verified
Adam Petcher
dblp:90/7791
0.5 12021 4 · 1 since 2021 2021 none
Mike Dodds
dblp:77/665
0.5 12021 23 · 3 since 2021 2024 verified
Brian Huffman
dblp:69/3465
0.5 12021 8 · 2 since 2021 2025 conflict
Joey Dodds
dblp:223/5187
0.5 12021 4 · 3 since 2021 2026 corroborated
Samuel Breese
dblp:195/8676
0.5 12021 7 · 1 since 2021 2021 none
Brett Boston
dblp:169/6792
0.5 12021 3 · 1 since 2021 2021 none
Andrei Stefanescu
dblp:13/9657
0.5 12021 15 · 2 since 2021 2021 none
Gilles Barthe
dblp:b/GBarthe
0.5 22017 202 · 49 since 2021 2026 verified
Pierre-Yves Strub
dblp:35/5080
0.5 22017 61 · 17 since 2021 2026 verified
Benjamin Grégoire
dblp:28/2414
0.5 22017 71 · 19 since 2021 2025 conflict
Denis Merigoux
dblp:242/3141
0.4 12019 7 · 5 since 2021 2025 corroborated
Benjamin Beurdouche
dblp:165/5515
0.4 12019 6 · 1 since 2021 2023 none
K. Rustan M. Leino
dblp:l/KRMLeino
0.3 12017 72 · 5 since 2021 2026 verified
Tiago Oliveira 0004
dblp:87/4879-4
0.3 12017 15 · 9 since 2021 2025 verified
Barry Bond
dblp:74/9407
0.3 12017 5 · 1 since 2021 2026 corroborated
Srinath Setty
dblp:68/8463
0.3 12017 38 · 16 since 2021 2026 none
Vincent Laporte
dblp:66/8883
0.3 12017 22 · 6 since 2021 2025 corroborated
José Bacelar Almeida
dblp:66/3456
0.3 12017 25 · 7 since 2021 2025 verified
Ashay Rane
dblp:63/10367
0.3 12017 7 · 0 since 2021 2020 none
Jacob R. Lorch
dblp:25/3228
0.3 12017 38 · 6 since 2021 2026 verified
Manos Kapritsos
dblp:23/6695
0.3 12017 24 · 10 since 2021 2026 verified
Chris Hawblitzel
dblp:22/3053
0.3 12017 33 · 8 since 2021 2026 corroborated
Arthur Blot
dblp:176/1942
0.3 12017 1 · 0 since 2021 2017 none
Laure Thompson
dblp:155/8149
0.3 12017 7 · 2 since 2021 2022 corroborated
Hugo Pacheco 0001
dblp:10/3783
0.3 12017 20 · 6 since 2021 2026 verified
Manuel Barbosa
dblp:06/5631
0.3 12017 55 · 21 since 2021 2025 verified
Cédric Fournet
dblp:f/CedricFournet
0.2 12014 99 · 12 since 2021 2026 verified
page 1 of 2 Next →