Ahmed Rezine
Universitetslektor, Docent
Publikationer
2025
Robustness and Privacy Interplay in Patient Membership Inference
2025 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN
(Konferensbidrag)
https://dx.doi.org/10.1109/IJCNN64981.2025.11227914
Formal Local Implication Between Two Neural Networks
(Konferensbidrag)
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, s. 158-168
(Konferensbidrag)
https://dx.doi.org/10.1109/RTCSA66114.2025.00025
2024
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
INTERNATIONAL CONFERENCE ON MACHINE LEARNING
(Konferensbidrag)
On Modeling and Detecting Trojans in Instruction Sets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 43, s. 3226-3239
(Artikel i tidskrift)
https://dx.doi.org/10.1109/tcad.2024.3389558