2026
IEEE ICCADGegenmaßnahmenFormale Verifikation
Team
Flavien Solt
Assistenzprofessor
Department of Computer Science · School of Computing, National University of Singapore
Büro: COM2-02-07
Biografie
Flavien Solt ist Assistenzprofessor am Department of Computer Science der National University of Singapore (NUS) und leitet das ChocoLab. Flaviens Forschung gilt der Korrektheit und Sicherheit der unteren Schichten von Computern: offensiven Methoden, die Schwachstellen tief im Rechnersystem aufdecken und ausnutzen, und Abwehrmaßnahmen, die Systeme davor schützen. Die Arbeit verbindet dynamische Techniken wie Hardware-Fuzzing und Informationsflussverfolgung mit formaler Verifikation und KI-gestützten Methoden, um die Sicherheitsanalyse von Hardware skalierbarer und wirksamer zu machen.
Vor dem Wechsel an die NUS war Flavien Postdoc an der UC Berkeley und arbeitete mit der Forschungsgruppe von Christopher Fletcher zusammen. Flavien wurde 2024 in der Computer Security Group (COMSEC) der ETH Zürich bei Kaveh Razavi promoviert. Die Dissertation erhielt die ETH-Medaille.
Forschungsinteressen
- Hardwaresicherheit
- Fuzzing
- Anwendungen formaler Methoden
- Entwurfsautomatisierung (EDA)
- Maschinelles Lernen für Hardware
- KI für Sicherheit
Ausbildung
- Promotion, ETH Zürich, 2024. Betreuung: Kaveh Razavi.
- MSc in Elektrotechnik und Informationstechnologie, ETH Zürich
- Ingénieur Polytechnicien (X2016), École Polytechnique, Frankreich
Auszeichnungen
- ETH-Medaille für die Dissertation
- Auszeichnung „Top Reviewer“, CCS 2025
Lehre
- NUS: CS3235 Computer Security und CS6230 Topics in Information Security
- ETH Zürich, als Lehrassistent: Computer Engineering (2022 bis 2024) und VLSI 1: HDL Based Design for FPGAs (2020)
Gutachtertätigkeit
- Gutachter: ISCA '26, USENIX Security '26, CCS '26, CCS '25, Top Picks in Hardware and Embedded Security '24
- Externer Gutachter: DIMVA '23, USENIX ATC '22, CCS '21
Betreuung
Betreute Studierende seit 2022
NUS, 2026
- Lu Kun, Forschungsassistent*in
- Rayan Mellouk, Éric Ordoquy, Francois Loning, Jules Bioulac und Émilien Garnier: Masterarbeiten, zu Gast von der École Polytechnique
- Ayush Raina: Praktikum, zu Gast vom Indian Institute of Science, Bangalore
- Zhenyu Lei: Praktikum, zu Gast von der Southeast University
UC Berkeley, 2025
- Benjamin Lang, Zhenrong Lang, Florian Chivé, Rémi Germe und Jean-Nicolas Strauss: Masterarbeiten
- Chaitanya Gambali: Bachelorarbeit
- Frank Jin und SooHyuk Cho: Bachelorprojekte
ETH Zürich, 2022 bis 2024
- Matej Bölcskei: Masterarbeit, 2024 (ETH-Medaille)
- Tobias Kovats: Masterarbeit, 2024, und Semesterarbeit, 2023
- Quentin Bordier: Semesterarbeit, 2024, und Bachelorarbeit, 2022
- Sandro Rüegge, Tristan Sachsenweger: Masterarbeiten, 2023
- Adriel Tan: Masterarbeit, 2023, und Semesterarbeit, 2022
- Maximilian Sabayev, Stijn Gunther: Masterarbeiten, 2022
- Valentin Ogier, Guillaume Thivolet: Semesterarbeiten, 2022
Publikationen
2026
IEEE/ACM ISCAAngriffFuzzing und Validierung
HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs
2026
IEEE EuroS&PGegenmaßnahmenFormale VerifikationInformationsflüsse
VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity
2026
IEEE Symposium on Security & PrivacyAngriffFuzzing und Validierung
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Auszeichnung „Distinguished Paper“
2025
IEEE ICCADWerkzeuge und AnalyseInformationsflüsse
Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces
2025
ACM CCSAngriffInformationsflüsse
MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware–Software Taint Tracking
2025
USENIX SecurityWerkzeuge und AnalyseDRAM und Rowhammer
McSee: Evaluating Advanced Rowhammer Attacks and Defenses via Automated DRAM Traffic Analysis
2025
USENIX SecurityWerkzeuge und AnalyseFuzzing und Validierung
Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection
Auszeichnung „Distinguished Artifact“
2025
USENIX SecurityAngriffFuzzing und Validierung
Lost in Translation: Enabling Confused Deputy Attacks on EDA Software with TransFuzz
2024
ACM CCSGegenmaßnahmenFormale VerifikationInformationsflüsse
μCFI: Formal Verification of Microarchitectural Control-flow Integrity
2024
IEEE/ACM ISCAWerkzeuge und AnalyseDRAM und Rowhammer
HiFi-DRAM: Enabling High-Fidelity DRAM Research by Uncovering Sense Amplifiers with IC Imaging
2024
USENIX SecurityAngriffDRAM und Rowhammer
ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms
2024
IEEE ICCADWerkzeuge und AnalyseInformationsflüsse
HybriDIFT: Scalable Memory-Aware Dynamic Information Flow Tracking for Hardware
2024
USENIX SecurityAngriffFuzzing und Validierung
Cascade: CPU Fuzzing via Intricate Program Generation
2023
IEEE Symposium on Security & PrivacyGegenmaßnahmenDRAM und Rowhammer
Rega: Scalable Rowhammer Mitigation with Refresh-Generating Activations
2022
IEEE/ACM MICROWerkzeuge und AnalyseFuzzing und Validierung
RemembERR: Leveraging Microprocessor Errata for Design Testing and Validation
2022
IEEE Symposium on Security & PrivacyGegenmaßnahmenDRAM und Rowhammer
ProTRR: Principled Yet Optimal In-DRAM Target Row Refresh
2022
USENIX SecurityWerkzeuge und AnalyseInformationsflüsse