Muhammad Hassan

According to our database, Muhammad Hassan authored at least 19 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Privacy in V2X communication: A comprehensive survey of threats, defenses, and emerging technologies.

Muhammad Hassan, Shashank K. Gupta, Munkenyi Mukhandi, Pedro Correia, Henrique C. Faria, Carlos Novo, Fernando Alves

Comput. Sci. Rev., 2026

2025

FARAD: Automated Formal Verification of Approximate Restoring Array Dividers.

Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler

Proceedings of the 38th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems, 2025

Large Language Models (LLMs) for Verification, Testing, and Design.

Chandan Kumar Jha, Muhammad Hassan, Khushboo Qayyum, Sallar Ahmadi-Pour, Kangwei Xu, Ruidi Qiu, Jason Blocklove, Luca Collini, Andre Nakkab, Ulf Schlichtmann, Grace Li Zhang, Ramesh Karri, Bing Li, Siddharth Garg, Rolf Drechsler

Proceedings of the IEEE European Test Symposium, 2025

2024

EnR: extend and reduce methodology to enable formal verification of truncated adders.

Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler

it Inf. Technol., 2024

2022

Tracking adoption of revocation and cryptographic features in X.509 certificates.

Maryam Zulfiqar, Muhammad Umar Janjua, Muhammad Hassan, Talha Ahmad, Tania Saleem, Jack W. Stokes

Int. J. Inf. Sec., 2022

ProofChain: An X.509-compatible blockchain-based PKI framework with decentralized trust.

Tania Saleem, Muhammad Umar Janjua, Muhammad Hassan, Talha Ahmad, Filza Tariq, Khadija Hafeez, Muhammad Ahsan Salal, Muhammad Danish Bilal

Comput. Networks, 2022

Blockchain-Based Decentralized Authentication for Information-Centric 5G Networks.

Muhammad Hassan, Davide Pesavento, Lotfi Benmohamed

Proceedings of the 47th IEEE Conference on Local Computer Networks, 2022

2021

ChoKIFA+: an early detection and mitigation approach against interest flooding attacks in NDN.

Abdelmadjid Benarfa, Muhammad Hassan, Eleonora Losiouk, Alberto Compagno, Mohamed Bachir Yagoubi, Mauro Conti

Int. J. Inf. Sec., 2021

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, Falak Sher, Muhammad Hassan

Comput. Secur., 2021

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

The Road Ahead for Networking: A Survey on ICN-IP Coexistence Solutions.

Mauro Conti, Ankit Gangwal, Muhammad Hassan, Chhagan Lal, Eleonora Losiouk

IEEE Commun. Surv. Tutorials, 2020

NC based DAS-NDN: Network Coding for robust Dynamic Adaptive Streaming over NDN.

Muhammad Hassan, Mauro Conti, Chhagan Lal

Comput. Networks, 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

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

Reputation-based Trust: A robust mechanism for Dynamic Adaptive Streaming over Named Data Networking.

Ioanna Angeliki Kapetanidou, Muhammad Hassan, Christos-Alexandros Sarros, Mauro Conti, Vassilis Tsaoussidis

Proceedings of the 14th IEEE International Conference on Big Data Science and Engineering, 2020

2019

BlockA<i>uth</i>: BlockChain based distributed producer authentication in ICN.

Mauro Conti, Muhammad Hassan, Chhagan Lal

Comput. Networks, 2019

ChoKIFA: A New Detection and Mitigation Approach Against Interest Flooding Attacks in NDN.

Abdelmadjid Benarfa, Muhammad Hassan, Alberto Compagno, Eleonora Losiouk, Mohamed Bachir Yagoubi, Mauro Conti

Proceedings of the Wired/Wireless Internet Communications, 2019

CoMon-DAS: A Framework for Efficient and Robust Dynamic Adaptive Streaming over NDN.

Muhammad Hassan, Hani Salah, Mauro Conti, Frank H. P. Fitzek, Thorsten Strufe

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

2018

Fair-RTT-DAS: A robust and efficient dynamic adaptive streaming over ICN.

Mauro Conti, Ralph E. Droms, Muhammad Hassan, Chhagan Lal

Comput. Commun., 2018

QoE Degradation Attack in Dynamic Adaptive Streaming Over ICN.

Mauro Conti, Ralph E. Droms, Muhammad Hassan, Sebastiano Valle

Proceedings of the 19th IEEE International Symposium on "A World of Wireless, 2018