Muhammad Hassan

17 papers B 2C 2Misc 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 Misc conf
FARAD: Automated Formal Verification of Approximate Restoring Array Dividers.
VLSID
Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
2025 B conf
Large Language Models (LLMs) for Verification, Testing, and Design.
ETS
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
2024 J jnl
EnR: extend and reduce methodology to enable formal verification of truncated adders.
it Inf. Technol.
Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
2022 B conf
Blockchain-Based Decentralized Authentication for Information-Centric 5G Networks.
LCN
Muhammad Hassan, Davide Pesavento, Lotfi Benmohamed
2022 J jnl
ProofChain: An X.509-compatible blockchain-based PKI framework with decentralized trust.
Comput. Networks
Tania Saleem, Muhammad Umar Janjua, Muhammad Hassan, Talha Ahmad, Filza Tariq, Khadija Hafeez, Muhammad Ahsan Salal, Muhammad Danish Bilal
2022 J jnl
Tracking adoption of revocation and cryptographic features in X.509 certificates.
Int. J. Inf. Sec.
Maryam Zulfiqar, Muhammad Umar Janjua, Muhammad Hassan, Talha Ahmad, Tania Saleem, Jack W. Stokes
2021 J jnl
ChoKIFA+: an early detection and mitigation approach against interest flooding attacks in NDN.
Int. J. Inf. Sec.
Abdelmadjid Benarfa, Muhammad Hassan, Eleonora Losiouk, Alberto Compagno, Mohamed Bachir Yagoubi, Mauro Conti
2021 J jnl
EthReview: An Ethereum-based Product Review System for Mitigating Rating Frauds.
Comput. Secur.
Maryam Zulfiqar, Filza Tariq, Muhammad Umar Janjua, Adnan Noor Mian, Adnan Qayyum, Junaid Qadir, Falak Sher, Muhammad Hassan
2020 J jnl
NC based DAS-NDN: Network Coding for robust Dynamic Adaptive Streaming over NDN.
Comput. Networks
Muhammad Hassan, Mauro Conti, Chhagan Lal
2020 — conf
Reputation-based Trust: A robust mechanism for Dynamic Adaptive Streaming over Named Data Networking.
BigDataSE
Ioanna Angeliki Kapetanidou, Muhammad Hassan, Christos-Alexandros Sarros, Mauro Conti, Vassilis Tsaoussidis
2020 J jnl
The Road Ahead for Networking: A Survey on ICN-IP Coexistence Solutions.
IEEE Commun. Surv. Tutorials
Mauro Conti, Ankit Gangwal, Muhammad Hassan, Chhagan Lal, Eleonora Losiouk
2019 J jnl
BlockA
Comput. Networks
Mauro Conti, Muhammad Hassan, Chhagan Lal
2019 — conf
ChoKIFA: A New Detection and Mitigation Approach Against Interest Flooding Attacks in NDN.
WWIC
Abdelmadjid Benarfa, Muhammad Hassan, Alberto Compagno, Eleonora Losiouk, Mohamed Bachir Yagoubi, Mauro Conti
2019 C conf
CoMon-DAS: A Framework for Efficient and Robust Dynamic Adaptive Streaming over NDN.
ISCC
Muhammad Hassan, Hani Salah, Mauro Conti, Frank H. P. Fitzek, Thorsten Strufe
2019 J jnl
The Road Ahead for Networking: A Survey on ICN-IP Coexistence Solutions.
CoRR
Mauro Conti, Ankit Gangwal, Muhammad Hassan, Chhagan Lal, Eleonora Losiouk
2018 J jnl
Fair-RTT-DAS: A robust and efficient dynamic adaptive streaming over ICN.
Comput. Commun.
Mauro Conti, Ralph E. Droms, Muhammad Hassan, Chhagan Lal
2018 C conf
QoE Degradation Attack in Dynamic Adaptive Streaming Over ICN.
WOWMOM
Mauro Conti, Ralph E. Droms, Muhammad Hassan, Sebastiano Valle