QoE Degradation Attack in Dynamic Adaptive Streaming Over ICN. - Mauro Conti; Ralph E. Droms; Muhammad Hassan 001; Sebastiano Valle (WOWMOM, 2018)

Fair-RTT-DAS: A robust and efficient dynamic adaptive streaming over ICN. - Mauro Conti; Ralph E. Droms; Muhammad Hassan 001; Chhagan Lal (Comput. Commun., 2018)

CoMon-DAS: A Framework for Efficient and Robust Dynamic Adaptive Streaming over NDN. - Muhammad Hassan 001; Hani Salah; Mauro Conti; Frank H. P. Fitzek; Thorsten Strufe (ISCC, 2019)

ChoKIFA: A New Detection and Mitigation Approach Against Interest Flooding Attacks in NDN. - Abdelmadjid Benarfa; Muhammad Hassan 001; Alberto Compagno; Eleonora Losiouk; Mohamed Bachir Yagoubi; Mauro Conti (WWIC, 2019)

BlockAuth: BlockChain based distributed producer authentication in ICN. - Mauro Conti; Muhammad Hassan 001; Chhagan Lal (Comput. Networks, 2019)

Reputation-based Trust: A robust mechanism for Dynamic Adaptive Streaming over Named Data Networking. - Ioanna Angeliki Kapetanidou; Muhammad Hassan 001; Christos-Alexandros Sarros; Mauro Conti; Vassilis Tsaoussidis (BigDataSE, 2020)

Deep Learning in Semantic Segmentation of Rust in Images. - Le Dinh Duy; Ngo Tuan Anh; Ngo Tung Son; Nguyen Viet Tung; Nguyen Ba Duong; Muhammad Hassan Raza Khan (ICSCA, 2020)

NC based DAS-NDN: Network Coding for robust Dynamic Adaptive Streaming over NDN. - Muhammad Hassan 001; Mauro Conti; Chhagan Lal (Comput. Networks, 2020)

The Road Ahead for Networking: A Survey on ICN-IP Coexistence Solutions. - Mauro Conti; Ankit Gangwal; Muhammad Hassan 001; Chhagan Lal; Eleonora Losiouk (IEEE Commun. Surv. Tutorials, 2020)

Implementing CCTV-Based Attendance Taking Support System Using Deep Face Recognition: A Case Study at FPT Polytechnic College. - Ngo Tung Son; Bui Ngoc Anh; Tran Quy Ban; Le Phuong Chi; Bui Dinh Chien; Duong Xuan Hoa; Le Van Thanh; Tran Quang Huy; Le Dinh Duy; Muhammad Hassan Raza Khan (Symmetry, 2020)

EthReview: An Ethereum-based Product Review System for Mitigating Rating Frauds. - Maryam Zulfiqar; Filza Tariq; Muhammad Umar Janjua; Adnan Noor Mian; Adnan Qayyum; Junaid Qadir 001; Falak Sher; Muhammad Hassan 001 (Comput. Secur., 2021)

ChoKIFA+: an early detection and mitigation approach against interest flooding attacks in NDN. - Abdelmadjid Benarfa; Muhammad Hassan 001; Eleonora Losiouk; Alberto Compagno; Mohamed Bachir Yagoubi; Mauro Conti (Int. J. Inf. Sec., 2021)

Blockchain-Based Decentralized Authentication for Information-Centric 5G Networks. - Muhammad Hassan 001; Davide Pesavento; Lotfi Benmohamed (LCN, 2022)

ProofChain: An X.509-compatible blockchain-based PKI framework with decentralized trust. - Tania Saleem; Muhammad Umar Janjua; Muhammad Hassan 001; Talha Ahmad; Filza Tariq; Khadija Hafeez; Muhammad Ahsan Salal; Muhammad Danish Bilal (Comput. Networks, 2022)

Tracking adoption of revocation and cryptographic features in X.509 certificates. - Maryam Zulfiqar; Muhammad Umar Janjua; Muhammad Hassan 001; Talha Ahmad; Tania Saleem; Jack W. Stokes (Int. J. Inf. Sec., 2022)

EnR: extend and reduce methodology to enable formal verification of truncated adders. - Chandan Kumar Jha 001; Khushboo Qayyum; Muhammad Hassan 001; Rolf Drechsler (it Inf. Technol., 2024)

Large Language Models (LLMs) for Verification, Testing, and Design. - Chandan Kumar Jha 001; Muhammad Hassan 001; Khushboo Qayyum; Sallar Ahmadi-Pour; Kangwei Xu; Ruidi Qiu; Jason Blocklove; Luca Collini; Andre Nakkab; Ulf Schlichtmann; Grace Li Zhang; Ramesh Karri; et al. (ETS, 2025)

FARAD: Automated Formal Verification of Approximate Restoring Array Dividers. - Chandan Kumar Jha 001; Khushboo Qayyum; Muhammad Hassan 001; Rolf Drechsler (VLSID, 2025)