論文

IEEE ICCAD防禦形式化驗證

Inconstant: Refining Assumptions in Formal Constant-Time CPU Verification

Flavien Solt and Christopher W. Fletcher

ACM/IEEE 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, Boris Köpf, and Stavros Volos

傑出論文獎

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

Tobias 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

傑出製品獎

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

ACM/IEEE 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, and Kaveh Razavi

USENIX Security攻擊DRAM 與 Rowhammer

ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms

Patrick Jattke, Max 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