BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Software-Inspired Techniques for Hardware Security
DTSTART:20250324T101500
DTEND:20250324T111500
DTSTAMP:20261025T055332Z
UID:d781ae6b88d124b22b966ba5244e901c5ad5c00b0b6a4c5057465356
CATEGORIES:Conferences - Seminars
DESCRIPTION:By : Flavien Solt - UC Berkeley\nIC Faculty candidate\n\nAbstr
 act\nModern hardware is evolving at an unprecedented pace\, yet ensuring i
 ts security and functionality remains challenging. Despite extensive valid
 ation\, non-trivial bugs persist — similar to past software bugs that we
 re eventually mitigated by robust detection methods.\nMy work demonstrates
  that\, with careful adaptation\, proven software techniques can effective
 ly detect hardware security flaws. In this talk\, I will describe three li
 nes of work that collectively uncovered over 60 new vulnerabilities. First
 \, our dynamic information flow mechanism CellIFT scales to complex design
 s and reveals vulnerabilities in a production-ready root-of-trust CPU via 
 new microarchitectural control flow integrity verification techniques. Sec
 ond\, our Cascade CPU fuzzer adapts traditional software fuzzing to hardwa
 re\, uncovering more architectural bugs than previous efforts together\, a
 nd finds new exploitable microarchitectural data leakage in established op
 en-source CPUs when combined with CellIFT. Third\, our tool TransFuzz targ
 ets translation bugs in EDA software that can compromise even seemingly se
 cure hardware\, identifying vulnerabilities in popular RTL simulators and 
 synthesizers with confirmed exploitability via arbitrary backdoors.\n\nBio
 \nFlavien is a postdoc in the SLICE lab at the EECS department at UC Berke
 ley with Prof. Christopher Fletcher. His research focuses on developing ne
 w techniques for testing and ensuring digital hardware correctness and sec
 urity\, resulting in publications in computer architecture and security ve
 nues\, including USENIX Security\, IEEE Symposium on Security & Privacy\, 
 MICRO\, ISCA\, and CCS. His PhD dissertation\, completed under the supervi
 sion of Prof. Kaveh Razavi at the ITET department at ETH Zurich in 2024\, 
 was recognized with the ETH medal.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420 https://epfl.zoom.us/
 j/69454228626
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR