Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification. - Mohamed Shelkamy Ali; Lucas Deutschmann; Johannes Müller 006; Anna Lena Duque Antón; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (ETS, 2025)