Demo Data from EDBT 2026 / reviewers in the wild / expert
Moritz Eckert
dblp:200/3271
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 1 first-author · 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
2 papers |
Systems and software security · 100% | |
| Software engineering, system software, and programming languages
2 papers |
Program verification · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security › vulnerability discovery › software vulnerability detection
binary vulnerability detection |
0.6 | 1 | 2022 | Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs · USENIX Security Symposium 2022 |
Systems and software security
vulnerability discovery |
0.6 | 1 | 2022 | Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs · USENIX Security Symposium 2022 |
Systems and software security › memory safety
heap security |
0.3 | 1 | 2018 | HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security · USENIX Security Symposium 2018 |
Systems and software security
memory safety |
0.3 | 1 | 2018 | HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security · USENIX Security Symposium 2018 |
Program verification › model checking
bounded model checking |
0.3 | 1 | 2018 | HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security · USENIX Security Symposium 2018 |
Methods — techniques the papers use, named apart from their topics
static analysis · 1.1dynamic analysis · 1.1bounded model checking · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs
Jayakrishna Vadayath, Moritz Eckert, Kyle Zeng, Nicolaas Weideman, Gokulkrishna Praveen Menon, Yanick Fratantonio, Davide Balzarotti, Adam Doupé, Tiffany Bao, Ruoyu Wang 0001, Christophe Hauser, Yan Shoshitaishvili |
USENIX Security Symposium | 2 |
| 2018 | HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security
Moritz Eckert, Antonio Bianchi, Ruoyu Wang 0001, Yan Shoshitaishvili, Christopher Krügel, Giovanni Vigna |
USENIX Security Symposium | 1 |