Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Müller 0006, Anna Lena Duque Antón, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz. Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification. In IEEE European Test Symposium, ETS 2025, Tallinn, Estonia, May 26-30, 2025. pages 1-6, IEEE, 2025. [doi]

This author has not been identified. Look up 'Mohamed Shelkamy Ali' in GoogleThis author has not been identified. Look up 'Lucas Deutschmann' in GoogleThis author has not been identified. Look up 'Johannes Müller 0006' in GoogleThis author has not been identified. Look up 'Anna Lena Duque Antón' in GoogleThis author has not been identified. Look up 'Mohammad Rahmani Fadiheh' in GoogleThis author has not been identified. Look up 'Dominik Stoffel' in GoogleThis author has not been identified. Look up 'Wolfgang Kunz' in Google

runs on WebDSL