Projects per year
Personal profile
Biography
Dr. Rakib is an Associate Professor and a member of the Systems Security Group at the Institute for Future Transport and Cities, Coventry University. His research interests include modelling, analysis and verifying qualitative, quantitative, and safety/security properties of autonomous systems. Prior to joining Coventry University, he held several research and teaching positions at various institutes. He worked as a Senior Lecturer in the Department of Computer Science and Creative Technologies at the University of the West of England (UWE-Bristol) from May 2017 to May 2022. Before that, he worked as an Assistant Professor in the School of Computer Science at the University of Nottingham Malaysia Campus from February 2012 to April 2017. He was a postdoctoral research fellow at St. Francis Xavier University (StFX), Canada, funded by The ACEnet Research Fellowships Program and by ACOA through the Atlantic Innovation Fund from February 2011 to January 2012. In 2011, he obtained his PhD in Computer Science from the School of Computer Science at the University of Nottingham, where he worked on an EPSRC funded project titled Verifying requirements for resource-bounded agents as project no EP/E031226/1.
Research Interests
Logics and Formal Verification; Simulation and Model-based Testing; Automotive Systems; Multi-agent Context-Aware Systems.
Vision Statement
Modern living includes computerised devices in every aspect. Examples include autonomous automobile systems, medical monitoring, industrial control systems, and robotics systems. Many of these systems have high safety and/or security requirements, thus any security or safety issues could have disastrous effects. My recent work has mostly focussed on formal approaches to verifying and validating systems security and safety requirements.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
Computer Science, Doctorate, Verifying requirements for resource-bounded agents, University of Nottingham
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
EIDS-CAN-MHO: Enhanced Intrusion Detection System for Controller Area Network (CAN) Using Meta-Heuristic Optimization
Abdur, R. (Principal Investigator) & Ileri, K. (Research Fellow)
26/09/24 → 26/09/25
Project: Research
-
A Roadmap to Cybersecurity for the Integration of Connected Infrastructure (CI) into the Strategic Road Network (SRN)
Abdur, R. (Principal Investigator), Jadidbonab, H. (Co-Investigator), Payre, W. (Co-Investigator), Bouali, F. (Co-Investigator), Vincent, K. (Co-Investigator) & Bryans, J. (Co-Investigator)
1/09/23 → 30/04/24
Project: Consultancy
-
SCALE: Solihull & Coventry Automated Links Evolution
Birrell, S. (Principal Investigator), Vincent, K. (Co-Investigator), Abdur, R. (Academic), Jadidbonab, H. (Academic), Bogg, A. (Research Fellow) & Medojevic, M. (Research Fellow)
1/03/23 → 30/06/25
Project: Research
-
A Context-Aware Real-Time Security Model for Automotive Systems
Kumari, T., Rakib, A., Zaslavsky, A., Jadidbonab, H. & Moghaddam, V., 14 May 2025, (E-pub ahead of print) Proceedings of the 21st International Conference on Computing and Information Technology . 1 ed. Springer, Cham , p. 123-133 11 p. (Lecture Notes in Networks and Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
An adaptable security-by-design approach for ensuring a secure Over the Air (OTA) update in modern vehicles
Iyieke, V., Jadidbonab, H., Rakib, A., Bryans, J., Dhaliwal, D. & Kosmas, O., Mar 2025, In: Computers and Security. 150, 28 p., 104268.Research output: Contribution to journal › Article › peer-review
Open AccessFile59 Downloads (Pure) -
An Ontology-Based Approach for Context-Aware Automotive Security
Kumari, T., Rakib, A., Zaslavsky, A., Jadidbonab, H. & Moghaddam, V., 28 Apr 2025, (Accepted/In press) The 16th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2025), 9-11 June 2025, University of the West of Scotland, Paisley, UK. IEEE, p. (In-Press) 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Bayesian-Symbolic Integration for Uncertainty-Aware Parking Prediction
Nezhadettehad, A., Zaslavsky, A., Rakib, A. & Loke, S., 2 Jul 2025, (Accepted/In press) IEEE 28th International Conference on Intelligent Transportation Systems (ITSC), November 18 – 21, 2025 – Gold Coast, Australia.. IEEE, p. (In -Press)Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Reverse Engineering-Guided Fuzzing for CAN Bus Vulnerability Detection
Varghese, M. J., Jiang, F., Abdur, R., Doss, R. & Anwar, A., 5 Feb 2025, (E-pub ahead of print) Information Security Applications. WISA 2024. Lee, J.-H., Emura, K. & Lee, S. (eds.). Springer, Singapore, Vol. 15499. p. 219–230 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15499 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review