Публикации

IEEE ICCADКонтрмерыФормальная верификация

Inconstant: Refining Assumptions in Automated Formal Constant-Time CPU Verification

Flavien Solt and Chris Fletcher

IEEE/ACM ISCAАтакаФаззинг и валидация

HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs

Quentin Bordier, Tobias Kovats, Flavien Solt, and Kaveh Razavi

IEEE EuroS&PКонтрмерыФормальная верификацияИнформационные потоки

VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity

Katharina Ceesay-Seitz, Flavien Solt, Mengyuan Yin, and Kaveh Razavi

IEEE Symposium on Security & PrivacyАтакаФаззинг и валидация

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, B. Köpf, and Stavros Volos

Награда «Distinguished Paper»

IEEE ICCADИнструменты и анализИнформационные потоки

Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces

Katharina Ceesay-Seitz, Flavien Solt, Alexander Klukas, and Kaveh Razavi

ACM CCSАтакаИнформационные потоки

MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware–Software Taint Tracking

T. Kovats, Flavien Solt, Katharina Ceesay-Seitz, and Kaveh Razavi

USENIX SecurityИнструменты и анализDRAM и Rowhammer

McSee: Evaluating Advanced Rowhammer Attacks and Defenses via Automated DRAM Traffic Analysis

Patrick Jattke, Michele Marazzi, Flavien Solt, Max Wipfli, Stefan Gloor, and Kaveh Razavi

USENIX SecurityИнструменты и анализФаззинг и валидация

Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection

Matej Bölcskei, Flavien Solt, Katharina Ceesay-Seitz, and Kaveh Razavi

Награда «Distinguished Artifact»

USENIX SecurityАтакаФаззинг и валидация

Lost in Translation: Enabling Confused Deputy Attacks on EDA Software with TransFuzz

Flavien Solt and Kaveh Razavi

ACM CCSКонтрмерыФормальная верификацияИнформационные потоки

μCFI: Formal Verification of Microarchitectural Control-flow Integrity

Katharina Ceesay-Seitz, Flavien Solt, and Kaveh Razavi

IEEE/ACM ISCAИнструменты и анализDRAM и Rowhammer

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, et al.

USENIX SecurityАтакаDRAM и Rowhammer

ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms

Patrick Jattke, M. Wipfli, Flavien Solt, Michele Marazzi, Matej Bölcskei, and Kaveh Razavi

IEEE ICCADИнструменты и анализИнформационные потоки

HybriDIFT: Scalable Memory-Aware Dynamic Information Flow Tracking for Hardware

Flavien Solt and Kaveh Razavi

USENIX SecurityАтакаФаззинг и валидация

Cascade: CPU Fuzzing via Intricate Program Generation

Flavien Solt, Katharina Ceesay-Seitz, and Kaveh Razavi

IEEE Symposium on Security & PrivacyКонтрмерыDRAM и Rowhammer

Rega: Scalable Rowhammer Mitigation with Refresh-Generating Activations

Michele Marazzi, Flavien Solt, Patrick Jattke, Kubo Takashi, and Kaveh Razavi

IEEE/ACM MICROИнструменты и анализФаззинг и валидация

RemembERR: Leveraging Microprocessor Errata for Design Testing and Validation

Flavien Solt, Patrick Jattke, and Kaveh Razavi

IEEE Symposium on Security & PrivacyКонтрмерыDRAM и Rowhammer

ProTRR: Principled Yet Optimal In-DRAM Target Row Refresh

Michele Marazzi, Patrick Jattke, Flavien Solt, and Kaveh Razavi

USENIX SecurityИнструменты и анализИнформационные потоки

CellIFT: Leveraging Cells for Scalable and Precise Dynamic Information Flow Tracking in RTL

Flavien Solt, Ben Gras, and Kaveh Razavi