Katharina Ceesay-Seitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware-Software Taint Tracking. | Tobias Kovats, Flavien Solt, Katharina Ceesay-Seitz, Kaveh Razavi |
| 2025 | ICCAD | Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces. | Katharina Ceesay-Seitz, Flavien Solt, Alexander Klukas, Kaveh Razavi |
| 2024 | CCS | μCFI: Formal Verification of Microarchitectural Control-flow Integrity. | Katharina Ceesay-Seitz, Flavien Solt, Kaveh Razavi |
| 2020 | SAFECOMP | 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 |