VLDB 2026 Research / reviewers in the wild / expert
Katharina Ceesay-Seitz
dblp:272/8141
· DBLP profile ↗
7ranked-venue papers
4as first author
6since 2021 · last 2026
0000-0001-8398-2705ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 6 · 3 first-author · 5 since 2021Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity
Katharina Ceesay-Seitz, Flavien Solt, Mengyuan Yin, Kaveh Razavi |
EuroS&P | 1 |
| 2025 | MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware-Software Taint Tracking
Tobias Kovats, Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi |
CCS | 3 |
| 2025 | Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow TracesabstractHardware Information Flow Tracking (IFT) is gaining traction for detecting security vulnerabilities in hardware designs. Analyzing IFT violation traces can be extremely time-consuming since they often contain hundreds, if not thousands, of signals that need to be manually analyzed to establish the root cause behind the unexpected information flow. To resolve this problem, we introduce taint graphs that provide context as to where, when, and why information flows. To generalize to different IFT verification methods, we first develop a theoretical foundation for unifying taint tracking and self-composition under a common abstraction. Relying on this abstraction, we then build Pathfinder for automatically generating taint graphs from a given Hardware Description Language (HDL) design and a trace of the information flow violation given either by simulators or formal model checkers. We demonstrate the effectiveness of taint graphs in simplifying root cause analysis of information flows through multiple case studies that involve constant-time violations, temporal fencing, hardware Trojans, and Spectre. By extracting only the relevant signals on a path, Pathfinder reduces the number of signals that need to be manually analyzed between 1.6 and 769.9 times in these case studies. Katharina Ceesay-Seitz, Flavien Solt, Alexander Klukas, Kaveh Razavi |
ICCAD | 1 |
| 2025 | Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection
Matej Bölcskei, Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi |
USENIX Security Symposium | 3 |
| 2024 | μCFI: Formal Verification of Microarchitectural Control-flow Integrity
Katharina Ceesay-Seitz, Flavien Solt, Kaveh Razavi |
CCS | 1 |
| 2024 | Cascade: CPU Fuzzing via Intricate Program Generation
Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi |
USENIX Security Symposium | 2 |
| 2020 | A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)
Katharina Ceesay-Seitz, Hamza Boukabache, Daniel Perrin |
SAFECOMP | 1 |