Ahmed Rezine

Associate Professor, Docent

Forskarassistent

Publications

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

2023

Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar (2023) SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks

2022

Adrian Horga, Ahmed Rezine, Sudipta Chattopadhyay, Petru Ion Eles, Zebo Peng (2022) Symbolic identification of shared memory based bank conflicts for GPUs Journal of systems architecture, Vol. 127, Article 102518 (Article in journal)

Continue to DOI

2021

Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, Ahmed Rezine (2021) Correction: An integrated specification and verification technique for highly concurrent data structures (vol 19, pg 549, 2017) International Journal on Software Tools for Technology Transfer, Vol. 23, Article 825 (Article in journal)

Continue to DOI

Research

Cybersecurity

Welcome to the cybersecurity platform at the Department of Computer and Information Science at Linköping University. Here you can find information about research and education in cybersecurity, as well as researchers and teachers active in the field.

About the division

A person sits in front of a computer screen and handles a floor robot

Software and Systems (SAS)

The SAS division is part of the Department of Computer and Information Science. The division conducts research and education in software engineering and computer systems, covering both basic research and projects in cooperation with industry.