Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN. - Usman Rauf; Umair Siddique; Jamil Ahmad; Umar Khan Niazi (BIBM, 2011)

Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach. - Usman Rauf; Sheema Sameen; Antonio Cerone (CS2Bio, 2013)

Cyber Resilience-by-Construction: Modeling, Measuring & Verifying. - Yasir Imtiaz Khan; Ehab Al-Shaer; Usman Rauf (SafeConfig@CCS, 2015)

Formal Approach for Resilient Reachability based on End-System Route Agility. - Usman Rauf; Fida Gillani; Ehab Al-Shaer; Mahantesh Halappanavar; Samrat Chatterjee; Christopher S. Oehmen (MTD@CCS, 2016)

Cyber Regulatory Networks: Towards a Bio-inspired Auto-resilient Framework for Cyber-Defense. - Usman Rauf; Mujahid Mohsin; Wojciech Mazurczyk (BICT, 2019)

Bio-inspired Approach to Thwart Against Insider Threats: An Access Control Policy Regulation Framework. - Usman Rauf; Mohamed Shehab; Nafees Qamar; Sheema Sameen (BICT, 2019)

Formal approach to thwart against drone discovery attacks: A taxonomy of novel 3D obfuscation mechanisms. - Faizana Naeem; Mujahid Mohsin; Usman Rauf; Liaqat Ali Khan (Future Gener. Comput. Syst., 2021)

Formal approach to thwart against insider attacks: A bio-inspired auto-resilient policy regulation framework. - Usman Rauf; Mohamed Shehab; Nafees Qamar; Sheema Sameen (Future Gener. Comput. Syst., 2021)

A new method for pixel classification for rice variety identification using spectral and time series data from Sentinel-2 satellite imagery. - Usman Rauf; Waqar Shahid Qureshi; Hamid Jabbar; Ayesha Zeb; Alina Mirza; Eisa Alanazi; Umar Shahbaz Khan; Nasir Rashid (Comput. Electron. Agric., 2022)

EEG-Based Depression Detection: A Temporal Domain Feature-Centric Machine Learning Approach. - Maryam Rehman; Sanay Muhammad Umar Saeed; Sheharyar Khan; Sadam Hussain Noorani; Usman Rauf (FIT, 2023)

Visual Recognition for ZELDA Content Generation via Generative Adversarial Network. - Fouzia Usman; Syed Muhammad Anwar; Usman Rauf (ICAI, 2023)

A Taxonomic Classification of Insider Threats: Existing Techniques, Future Directions & Recommendations. - Usman Rauf; Fadi Mohsen; Zhiyuan Wei (J. Cyber Secur. Mobil., 2023)

A Survey on COVID-19 Data Analysis Using AI, IoT, and Social Media. - Muhammad Junaid Butt; Ahmad Kamran Malik; Nafees Qamar; Samad Yar; Arif Jamal Malik; Usman Rauf (Sensors, 2023)

Optimal Feature-Centric Approach for EEG-Based Human Emotion Identification. - Hira Ashraf; Sanay Muhammad Umar Saeed; Sheharyar Khan; Sadam Hussain Noorani; Aamir Arsalan; Usman Rauf (ICACS, 2024)

An EEG-Driven Framework for Emotion Recognition During Gameplay. - Khurram Shahzad; Zohaib Ali; Usman Rauf; Anees Ur Rehman; Sheharyar Khan; Sadam Hussain Noorani (ICACS, 2024)

On Identification of Intrusive Applications: A Step Toward Heuristics-Based Adaptive Security Policy. - Fadi Mohsen; Usman Rauf; Victor Lavric; Alexander Kokushkin; Zhiyuan Wei; Adalynn Martinez (IEEE Access, 2024)

Toward Improved Classification of Perceived Stress Using Time Domain Features. - Usman Rauf; Sanay Muhammad Umar Saeed (IEEE Access, 2024)

E-Watcher: insider threat monitoring and detection for enhanced security. - Zhiyuan Wei; Usman Rauf; Fadi Mohsen (Ann. des Télécommunications, 2024)

Poster: BLE-Shield: A Hybrid Framework for Threat Identification in Bluetooth Low Energy (BLE) Networks. - Adalynn Martinez; Usman Rauf; Fadi Mohsen (WISEC, 2025)

A Transfer Learning-Based Framework for Enhanced Classification of Perceived Mental Stress Using EEG Spectrograms. - Sheharyar Khan; Sadam Hussain Noorani; Jaroslav Frnda; Usman Rauf; Aamir Arsalan; Sanay Muhammad Umar Saeed (IEEE Access, 2025)

PayScan: Detection and Security Analysis of Payment Libraries in Android Apps. - Fadi Mohsen; Manar Alohaly; Usman Rauf; Dominic Therattil; Loran Oosterhaven (Int. J. Inf. Sec., 2025)