Flavien (楓文) Solt
成員

Flavien (楓文) Solt

助理教授

計算機科學系 · 新加坡國立大學計算機學院

辦公室：COM2-02-07

簡介

Flavien (楓文) Solt 是新加坡國立大學（NUS）計算機科學系助理教授。加入 NUS 之前，他在加州大學柏克萊分校擔任博士後研究員，與 Christopher Fletcher 教授的研究團隊合作。2024 年，他在蘇黎世聯邦理工學院（ETH Zurich）獲得博士學位，指導教授為 Kaveh Razavi 教授，博士論文獲得 ETH 獎章（ETH Medal）。

他的研究關注電腦底層的正確性與安全性。他一方面研究能夠發現並利用運算堆疊深處漏洞的攻擊方法，另一方面建構保護系統免受這些攻擊的防禦機制。他的工作將硬體模糊測試、資訊流追蹤等動態技術與形式化驗證和人工智慧驅動的方法相結合，目標是讓硬體安全分析更具擴充性、更加有效。

研究興趣

  • 硬體安全
  • 模糊測試
  • 形式化方法的應用
  • 電子設計自動化（EDA）
  • 機器學習在硬體中的應用
  • 應用於安全的人工智慧

學歷

  • 博士，蘇黎世聯邦理工學院，2024 年。指導教授：Kaveh Razavi。
  • 碩士，電機工程與資訊技術，蘇黎世聯邦理工學院
  • Ingénieur Polytechnicien（X2016），法國巴黎綜合理工學院

榮譽獎項

教學

  • 新加坡國立大學：CS3235 電腦安全與 CS6230 資訊安全專題
  • 蘇黎世聯邦理工學院，擔任助教：Computer Engineering（2022 至 2024 年）與 VLSI 1: HDL Based Design for FPGAs（2020）

學術服務

  • 審稿人：ISCA '26、USENIX Security '26、CCS '26、CCS '25、Top Picks in Hardware and Embedded Security '24
  • 協助審稿：DIMVA '23、USENIX ATC '22、CCS '21

指導學生

2022 年以來指導的學生

新加坡國立大學，2026

  • 盧琨，研究助理
  • Rayan Mellouk、Éric Ordoquy、Francois Loning、Jules Bioulac 和 Émilien Garnier：碩士論文，來自巴黎綜合理工學院的訪問學生
  • Ayush Raina：實習生，來自印度科學理工學院（班加羅爾）
  • Zhenyu Lei：實習生，來自東南大學

加州大學柏克萊分校，2025

  • Benjamin Lang、Zhenrong Lang、Florian Chivé、Rémi Germe 和 Jean-Nicolas Strauss：碩士論文
  • Chaitanya Gambali：學士論文
  • Frank Jin 和 SooHyuk Cho：大學部專題

蘇黎世聯邦理工學院，2022 至 2024 年

  • Matej Bölcskei：碩士論文，2024（ETH 獎章）
  • Tobias Kovats：碩士論文（2024）與學期論文（2023）
  • Quentin Bordier：學期論文（2024）與學士論文（2022）
  • Sandro Rüegge、Tristan Sachsenweger：碩士論文，2023
  • Adriel Tan：碩士論文（2023）與學期論文（2022）
  • Maximilian Sabayev、Stijn Gunther：碩士論文，2022
  • Valentin Ogier、Guillaume Thivolet：學期論文，2022

論文

2026

IEEE ICCAD防禦形式化驗證

Inconstant: Refining Assumptions in Formal Constant-Time CPU Verification

Flavien Solt and Christopher W. Fletcher

2026

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

論文
2026

IEEE EuroS&P防禦形式化驗證資訊流追蹤

VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity

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

論文
2026

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

傑出論文獎

論文
2025

IEEE ICCAD工具與分析資訊流追蹤

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

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

論文
2025

ACM CCS攻擊資訊流追蹤

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

Tobias Kovats, Flavien Solt, Katharina Ceesay-Seitz, and Kaveh Razavi

論文
2025

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

論文
2025

USENIX Security工具與分析模糊測試與驗證

Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection

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

傑出製品獎

論文
2025

USENIX Security攻擊模糊測試與驗證

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

Flavien Solt and Kaveh Razavi

論文
2024

ACM CCS防禦形式化驗證資訊流追蹤

μCFI: Formal Verification of Microarchitectural Control-flow Integrity

Katharina Ceesay-Seitz, Flavien Solt, and Kaveh Razavi

論文
2024

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

論文
2024

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

論文
2024

IEEE ICCAD工具與分析資訊流追蹤

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

Flavien Solt and Kaveh Razavi

論文
2024

USENIX Security攻擊模糊測試與驗證

Cascade: CPU Fuzzing via Intricate Program Generation

Flavien Solt, Katharina Ceesay-Seitz, and Kaveh Razavi

論文 論文與演講 研究製品
2023

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

論文
2022

IEEE/ACM MICRO工具與分析模糊測試與驗證

RemembERR: Leveraging Microprocessor Errata for Design Testing and Validation

Flavien Solt, Patrick Jattke, and Kaveh Razavi

論文 出版社頁面 資料庫
2022

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

論文
2022

USENIX Security工具與分析資訊流追蹤

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

Flavien Solt, Ben Gras, and Kaveh Razavi

論文 論文與演講 程式碼