2026
IEEE ICCADContre-mesuresVérification formelle
Membres
Flavien Solt
Professeur assistant
Département d'informatique · School of Computing, Université nationale de Singapour
Bureau : COM2-02-07
Biographie
Flavien Solt est professeur assistant au département d'informatique de l'Université nationale de Singapour (NUS) et dirige le ChocoLab. Ses recherches portent sur la correction et la sécurité des couches basses des ordinateurs : des méthodes offensives qui mettent au jour et exploitent des vulnérabilités au plus profond de la pile informatique, et des défenses qui en protègent les systèmes. Ces travaux combinent des techniques dynamiques, comme le fuzzing matériel et le suivi de flux d'information, avec la vérification formelle et des méthodes fondées sur l'IA, afin de rendre l'analyse de la sécurité matérielle plus efficace et capable de passer à l'échelle.
Avant de rejoindre la NUS, Flavien a été chercheur postdoctoral à UC Berkeley, en collaboration avec l'équipe de recherche de Christopher Fletcher. Flavien a obtenu son doctorat en 2024 au sein du Computer Security Group (COMSEC) de l'ETH Zurich, sous la direction de Kaveh Razavi. Sa thèse a reçu la médaille de l'ETH (ETH Medal).
Thèmes de recherche
- Sécurité matérielle
- Fuzzing
- Applications des méthodes formelles
- Conception électronique assistée par ordinateur (EDA)
- Apprentissage automatique appliqué au matériel
- IA pour la sécurité
Formation
- Doctorat, ETH Zurich, 2024. Direction : Kaveh Razavi.
- Master en génie électrique et technologies de l'information, ETH Zurich
- Ingénieur polytechnicien (X2016), École polytechnique, France
Distinctions
- Médaille de l'ETH pour la thèse de doctorat
- Prix « Top Reviewer » de CCS 2025
Enseignement
- NUS : CS3235 Computer Security et CS6230 Topics in Information Security
- ETH Zurich, comme assistant d'enseignement : Computer Engineering (de 2022 à 2024) et VLSI 1: HDL Based Design for FPGAs (2020)
Service à la communauté
- Relecteur : ISCA '26, USENIX Security '26, CCS '26, CCS '25, Top Picks in Hardware and Embedded Security '24
- Relecteur externe : DIMVA '23, USENIX ATC '22, CCS '21
Encadrement
Étudiant·es encadré·es depuis 2022
NUS, 2026
- Lu Kun, assistant·e de recherche
- Rayan Mellouk, Éric Ordoquy, Francois Loning, Jules Bioulac et Émilien Garnier : mémoires de master, en séjour depuis l'École polytechnique
- Ayush Raina : stage, en séjour depuis l'Indian Institute of Science, Bangalore
- Zhenyu Lei : stage, en séjour depuis la Southeast University
UC Berkeley, 2025
- Benjamin Lang, Zhenrong Lang, Florian Chivé, Rémi Germe et Jean-Nicolas Strauss : mémoires de master
- Chaitanya Gambali : mémoire de bachelor
- Frank Jin et SooHyuk Cho : projets de bachelor
ETH Zurich, de 2022 à 2024
- Matej Bölcskei : mémoire de master, 2024 (médaille de l'ETH)
- Tobias Kovats : mémoire de master, 2024, et projet de semestre, 2023
- Quentin Bordier : projet de semestre, 2024, et mémoire de bachelor, 2022
- Sandro Rüegge, Tristan Sachsenweger : mémoires de master, 2023
- Adriel Tan : mémoire de master, 2023, et projet de semestre, 2022
- Maximilian Sabayev, Stijn Gunther : mémoires de master, 2022
- Valentin Ogier, Guillaume Thivolet : projets de semestre, 2022
Publications
2026
IEEE/ACM ISCAAttaqueFuzzing et validation
HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs
2026
IEEE EuroS&PContre-mesuresVérification formelleSuivi de flux d'information
VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity
2026
IEEE Symposium on Security & PrivacyAttaqueFuzzing et validation
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Prix « Distinguished Paper »
2025
IEEE ICCADOutils et analyseSuivi de flux d'information
Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces
2025
ACM CCSAttaqueSuivi de flux d'information
MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware–Software Taint Tracking
2025
USENIX SecurityOutils et analyseDRAM et Rowhammer
McSee: Evaluating Advanced Rowhammer Attacks and Defenses via Automated DRAM Traffic Analysis
2025
USENIX SecurityOutils et analyseFuzzing et validation
Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection
Prix « Distinguished Artifact »
2025
USENIX SecurityAttaqueFuzzing et validation
Lost in Translation: Enabling Confused Deputy Attacks on EDA Software with TransFuzz
2024
ACM CCSContre-mesuresVérification formelleSuivi de flux d'information
μCFI: Formal Verification of Microarchitectural Control-flow Integrity
2024
IEEE/ACM ISCAOutils et analyseDRAM et Rowhammer
HiFi-DRAM: Enabling High-Fidelity DRAM Research by Uncovering Sense Amplifiers with IC Imaging
2024
USENIX SecurityAttaqueDRAM et Rowhammer
ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms
2024
IEEE ICCADOutils et analyseSuivi de flux d'information
HybriDIFT: Scalable Memory-Aware Dynamic Information Flow Tracking for Hardware
2024
USENIX SecurityAttaqueFuzzing et validation
Cascade: CPU Fuzzing via Intricate Program Generation
2023
IEEE Symposium on Security & PrivacyContre-mesuresDRAM et Rowhammer
Rega: Scalable Rowhammer Mitigation with Refresh-Generating Activations
2022
IEEE/ACM MICROOutils et analyseFuzzing et validation
RemembERR: Leveraging Microprocessor Errata for Design Testing and Validation
2022
IEEE Symposium on Security & PrivacyContre-mesuresDRAM et Rowhammer
ProTRR: Principled Yet Optimal In-DRAM Target Row Refresh
2022
USENIX SecurityOutils et analyseSuivi de flux d'information