Ahmed Rezine
Associate Professor, Docent
Forskarassistent
Publications
2025
Robustness and Privacy Interplay in Patient Membership Inference
2025 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN
(Conference paper)
https://dx.doi.org/10.1109/IJCNN64981.2025.11227914
Formal Local Implication Between Two Neural Networks
(Conference paper)
https://dx.doi.org/10.3233/FAIA250928
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)
https://dx.doi.org/10.1109/RTCSA66114.2025.00025
2024
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
INTERNATIONAL CONFERENCE ON MACHINE LEARNING
(Conference paper)
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)
https://dx.doi.org/10.1109/tcad.2024.3389558