Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification.

Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Mller, Anna Lena Duque Antn, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Browse the full ETS paper archive.