| 2025 | PRDC | Integrating Threat Analysis and Formal Verification for Secure OTA Updates. | Sheraz Mazhar, Abdur Rakib, Robin Doss, Adnan Anwar, Frank Jiang |
| 2024 | SIGCOMM | DEMO: Adaptive Fuzz Testing for Automotive ECUs: A Modular Testbed Approach for Enhanced Vulnerability Detection. | Manu Jo Varghese, Frank Jiang, Robin Doss, Adnan Anwar, Abdur Rakib |
| 2024 | WISA | Reverse Engineering-Guided Fuzzing for CAN Bus Vulnerability Detection. | Manu Jo Varghese, Frank Jiang, Abdur Rakib, Robin Doss, Adnan Anwar |
| 2022 | ICANN | Analysing the Predictivity of Features to Characterise the Search Space. | Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib |
| 2019 | IJCAI | A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. | Hoang Nga Nguyen, Abdur Rakib |
| 2015 | MEMOCODE | Modeling and verifying context-aware non-monotonic reasoning agents. | Abdur Rakib, Hafiz Mahfooz Ul Haque |
| 2009 | IJCAI | A Logic for Coalitions with Bounded Resources. | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
| 2004 | ATVA | Component-Wise Instruction-Cache Behavior Prediction. | Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm |