Katharina Ceesay-Seitz

dblp:272/8141 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2026 VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity
Katharina Ceesay-Seitz, Flavien Solt, Mengyuan Yin, Kaveh Razavi
EuroS&P1
2025 MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware-Software Taint Tracking
Tobias Kovats, Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi
CCS3
2025 Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces
abstract
Hardware 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
ICCAD1
2025 Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection
Matej Bölcskei, Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi
USENIX Security Symposium3
2024 μCFI: Formal Verification of Microarchitectural Control-flow Integrity
Katharina Ceesay-Seitz, Flavien Solt, Kaveh Razavi
CCS1
2024 Cascade: CPU Fuzzing via Intricate Program Generation
Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi
USENIX Security Symposium2
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
SAFECOMP1