Photo of Ahmed Rezine

Ahmed Rezine

Associate Professor, Docent

Forskarassistent

Publications

2025

Anahita Baninajjar, Amin Aminifar, Kamran Hosseini, Amir Aminifar, Ahmed Rezine (2025) Robustness and Privacy Interplay in Patient Membership Inference 2025 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN (Conference paper) Continue to DOI
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar (2025) Formal Local Implication Between Two Neural Networks
Ayla Babazade, Soheil Samii, Ahmed Rezine (2025) Integrated Cost Optimization and Preemptable Scheduling for Real-Time Ethernet Applications 2025 IEEE 31ST INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, RTCSA, p. 158-168 (Conference paper) Continue to DOI

2024

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar (2024) VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees INTERNATIONAL CONFERENCE ON MACHINE LEARNING (Conference paper)
Ying Zhang, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li (2024) On Modeling and Detecting Trojans in Instruction Sets IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 43, p. 3226-3239 (Article in journal) Continue to DOI

Research

About the division

Colleagues at SaS

About the department