Demo Data from EDBT 2026 / reviewers in the wild / expert
Menucha Winchell
dblp:361/1968
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2023
0000-0001-9192-2438ORCID · reported
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 primitives and cryptanalysis · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 1 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cryptographic primitives and cryptanalysis › cryptographic implementation
cryptographic implementation verification |
0.7 | 1 | 2023 | Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares · CCS 2023 |
Methods — techniques the papers use, named apart from their topics
formal verification · 1.3assembly-level programming · 1.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Galápagos: Developing Verified Low Level Cryptography on Heterogeneous HardwaresabstractThe proliferation of new hardware designs makes it difficult to produce high-performance cryptographic implementations tailored at the assembly level to each platform, let alone to prove such implementations correct. Hence we introduce Galápagos, an extensible framework designed to reduce the effort of verifying cryptographic implementations across different ISAs. Yi Zhou 0025, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno |
CCS | 4 |