Mehr als nur die Fehlersuche: Umfassende Hardware-Sicherheitsgarantien mit UPEC
Lucas Deutschmann stellt „Unique Program Execution Checking“ (UPEC) vor. UPEC ist eine formale Verifikationsmethode, die darauf ausgelegt ist, mikroarchitektonische Schwachstellen systematisch aufzudecken und umfassende Sicherheitsgarantien für den gesamten Systemstack zu bieten.
Die vollständige Aufzeichnung finden Sie hier:
Unser Redner
Lucas Deutschmann promoviert aktuell an der RPTU Kaiserslautern.