Flavien (枫文) Solt
成员

Flavien (枫文) Solt

助理教授

计算机科学系 · 新加坡国立大学计算机学院

办公室：COM2-02-07

简介

Flavien (枫文) Solt 是新加坡国立大学（NUS）计算机科学系助理教授，并领导 ChocoLab。其研究关注计算机底层的正确性与安全性：一方面研究能够发现并利用计算栈深处漏洞的攻击方法，另一方面构建保护系统免受这些攻击的防御机制。研究工作将硬件模糊测试、信息流追踪等动态技术与形式化验证和人工智能驱动的方法相结合，使硬件安全分析更具可扩展性、更加有效。

加入 NUS 之前，Flavien 在加州大学伯克利分校担任博士后研究员，与 Christopher Fletcher 的研究团队合作。Flavien 于 2024 年在苏黎世联邦理工学院（ETH Zurich）计算机安全研究组（COMSEC）获得博士学位，导师为 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 Automated Formal Constant-Time CPU Verification

Flavien Solt and Chris Fletcher

2026

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

论文
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, B. 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

T. 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

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.

论文
2024

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

论文
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

论文 论文与报告 代码