| 2026 | ISCA | HARTBREAKER: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs. | Quentin Bordier, Tobias Kovats, Flavien Solt, Kaveh Razavi |
| 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 |
| 2024 | ICCAD | HybriDIFT: Scalable Memory-Aware Dynamic Information Flow Tracking for Hardware. | Flavien Solt, Kaveh Razavi |
| 2024 | ISCA | HiFi-DRAM: Enabling High-fidelity DRAM Research by Uncovering Sense Amplifiers with IC Imaging. | Michele Marazzi, Tristan Sachsenweger, Flavien Solt, Peng Zeng, Kubo Takashi, Maksym Yarema, Kaveh Razavi |
| 2023 | SP | REGA: Scalable Rowhammer Mitigation with Refresh-Generating Activations. | Michele Marazzi, Flavien Solt, Patrick Jattke, Kubo Takashi, Kaveh Razavi |
| 2022 | MICRO | RemembERR: Leveraging Microprocessor Errata for Design Testing and Validation. | Flavien Solt, Patrick Jattke, Kaveh Razavi |
| 2022 | SP | ProTRR: Principled yet Optimal In-DRAM Target Row Refresh. | Michele Marazzi, Patrick Jattke, Flavien Solt, Kaveh Razavi |
| 2020 | ISCAS | Heartbeat-Based Synchronization Scheme for the Human Intranet: Modeling and Analysis. | Robin Benarrouch, Ali Moin, Flavien Solt, Antoine Frapp, Andreia Cathelin, Andreas Kaiser, Jan M. Rabaey |