Mohamed Shelkamy Ali

According to our database, Mohamed Shelkamy Ali authored at least 4 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

PowerCourt: Formally Judging Benign-Looking Circuits in Multi-Tenant FPGA Environments.

Philipp Schmitz, Mohamed Shelkamy Ali, Dino Mehmedagic, Hassan Nassar, Jörg Henkel, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 27th IEEE Latin American Test Symposium, 2026

Multi-Partner Project: A Holistic and Open-Source Approach to Efficient, Secure and Reliable AI Hardware Deployment in DI-EDAI.

Georgios Sotiropoulos, Felix Frombach, Julian Höfer, Tanja Harbaum, Jürgen Becker, Henrik Iver Thorøe, Vincent Meyers, Mehdi B. Tahoori, Zeynep Demirdag, Mohammed Bakr Sikal, Hassan Nassar, Heba Khdr, Jörrg Henkel, Christopher Wolters, Philipp van Kempen, Johannes Geier, Ulf Schlichtmann, Batuhan Sesli, Muhammad Sabih, Jakob Wittmann, Frank Hannig, Jürgen Teich, Lukas Steiner, Norbert Wehn, Mohamed Shelkamy Ali, Philipp Schmitz, Wolfgang Kunz, Stefan Koegler, Georg Sigl

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025

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

Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Müller, Anna Lena Duque Antón, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Proceedings of the IEEE European Test Symposium, 2025

Special Session - Hardware-Software Co-Design for Machine Learning Systems Made Open-Source.

Mehdi B. Tahoori, Vincent Meyers, Mahboobe Sadeghipour Roodsari, Huashuangyang Xu, Jürgen Becker, Tanja Harbaum, Felix Frombach, Julian Höfer, Georgios Sotiropoulos, Jörg Henkel, Zeynep Demirdag, Heba Khdr, Hassan Nassar, Ulf Schlichtmann, Johannes Geier, Philipp van Kempen, Georg Sigl, Stefan Koegler, Matthias Probst, Jürgen Teich, Frank Hannig, Muhammad Sabih, Batuhan Sesli, Norbert Wehn, Lukas Steiner, Wolfgang Kunz, Mohamed Shelkamy Ali

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2025