Muhammad Hassan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
30
Active years
2011–2026
Best venue rank
A*
Where they publish
- ADATE8 papers
- CDDECS3 papers
- BASPDAC3 papers
- CFDL2 papers
- NationalHCI2 papers
- CISCC2 papers
- A*DAC2 papers
- CDSD2 papers
- CIOLTS1 paper
- NationalVTS1 paper
- BETS1 paper
- NationalVLSID1 paper
- ASOUPS1 paper
- BLCN1 paper
- NationalFIT1 paper
- CICMV1 paper
- BISPASS1 paper
- BIJCNN1 paper
- BIWQoS1 paper
- NationalACSSC1 paper
- CISPA1 paper
- CWoWMoM1 paper
- CBIBE1 paper
- AICCAD1 paper
- NationalFCCM1 paper
- CICCD1 paper
- ACHES1 paper
- CISCAS1 paper
- NationalICISS1 paper
- BTrustCom1 paper
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IOLTS | DRsam: Detection of Fault-Based Microarchitectural Side-Channel Attacks in RISC-V Using Statistical Preprocessing and Association Rule Mining. | Muhammad Hassan, Maria Mushtaq, Jaan Raik, Tara Ghasempouri |
| 2026 | VTS | Automation of Polynomial Formal Verification using Large Language Models. | Luca Mller, Khushboo Qayyum, Nele Hugo, Muhammad Hassan, Rolf Drechsler |
| 2025 | DDECS | LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors. | Weiyan Zhang, Muhammad Hassan, Rolf Drechsler |
| 2025 | ETS | 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 |
| 2025 | FDL | System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit. | Deepak Ravibabu, Sallar Ahmadi-Pour, Muhammad Hassan, Abhoy Kole, Chandan Kumar Jha, Rolf Drechsler |
| 2025 | HCI | Listening to Users: Privacy and Security in Mobile Health Apps. | Muhammad Hassan, Masooda N. Bashir, Ian S. Brooks |
| 2025 | HCI | Designing for Transparency: An Analysis of Multilingual Privacy Policies in Chinese, Japanese, and Korean Contexts. | Muhammad Hassan, Masooda N. Bashir, Yuanye Ma |
| 2025 | ISCC | Enhancing Plankton Classification with Multimodal Learning: Combining InceptionResNetV2 and Handcrafted Features with Explainability. | Muhammad Hassan, Giovanna Salbitani |
| 2025 | VLSID | FARAD: Automated Formal Verification of Approximate Restoring Array Dividers. | Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler |
| 2024 | ASPDAC | Security Coverage Metrics for Information Flow at the System Level. | Ece Nur Demirhan Coskun, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler |
| 2024 | DAC | Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent. | Kemal aglar Coskun, Muhammad Hassan, Lars Hedrich, Rolf Drechsler |
| 2024 | DAC | Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification. | Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler |
| 2024 | DATE | LLM-Guided Formal Verification Coupled with Mutation Testing. | Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler |
| 2024 | DATE | EMDRIVE Architecture: Embedded Distributed Computing and Diagnostics from Sensor to Edge. | Patrick Schmidt, Iuliia Topko, Matthias Stammler, Tanja Harbaum, Jrgen Becker, Rico Berner, Omar Ahmed, Jakub Jagielski, Thomas Seidler, Markus Abel, Marius Kreutzer, Maximilian Kirschner, Victor Pazmino Betancourt, Robin Sehm, Lukas Groth, Andrija Neskovic, Rolf Meyer, Saleh Mulhem, Mladen Berekovic, Matthias Probst, Manuel Brosch, Georg Sigl, Thomas Wild, Matthias Ernst, Andreas Herkersdorf, Florian Aigner, Stefan Hommes, Sebastian Lauer, Maximilian Seidler, Thomas Raste, Gasper Skvarc Bozic, Ibai Irigoyen Ceberio, Muhammad Hassan, Albrecht Mayer |
| 2023 | ASPDAC | Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars. | Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler |
| 2023 | DATE | Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits. | Kemal aglar Coskun, Muhammad Hassan, Rolf Drechsler |
| 2023 | DATE | Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors. | Jens Trommer, Niladri Bhattacharjee, Thomas Mikolajick, Sebastian Huhn, Marcel Merten, Mohammed E. Djeridane, Muhammad Hassan, Rolf Drechsler, Shubham Rai, Nima Kavand, Armin Darjani, Akash Kumar, Violetta Sessi, M. Drescher, S. Kolodinski, M. Wiatr |
| 2023 | DDECS | Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques. | Marcel Merten, Muhammad Hassan, Rolf Drechsler |
| 2023 | DSD | Efficient ML-Based Performance Estimation Approach Across Different Microarchitectures for RISC-V Processors. | Weiyan Zhang, Mehran Goli, Muhammad Hassan, Rolf Drechsler |
| 2023 | SOUPS | Evaluating User Behavior in Smartphone Security: A Psychometric Perspective. | Hsiao-Ying Huang, Soteris Demetriou, Muhammad Hassan, Gliz Seray Tuncay, Carl A. Gunter, Masooda N. Bashir |
| 2022 | DDECS | Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters. | Kemal aglar Coskun, Muhammad Hassan, Rolf Drechsler |
| 2022 | LCN | Blockchain-Based Decentralized Authentication for Information-Centric 5G Networks. | Muhammad Hassan, Davide Pesavento, Lotfi Benmohamed |
| 2021 | ASPDAC | System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations. | Muhammad Hassan, Daniel Groe, Rolf Drechsler |
| 2021 | DATE | System Level Verification of Phase-Locked Loop using Metamorphic Relations. | Muhammad Hassan, Daniel Groe, Rolf Drechsler |
| 2021 | FIT | Solar Power Assisted Passive and Active Cell Balancing System: A Comprehensive Analysis. | Muhammad Hassan, Muhammad Jawad, Nisma Saleem, Ali Raza, Khurram Shabih Zaidi, Muhammad Nadeem Rafiq |
| 2021 | ICMV | Integrating single-shot Fast Gradient Sign Method (FGSM) with classical image processing techniques for generating adversarial attacks on deep learning classifiers. | Muhammad Hassan |
| 2020 | ISPASS | Architecturally-Independent and Time-Based Characterization of SPEC CPU 2017. | Muhammad Hassan, Chang Hyun Park, David Black-Schaffer |
| 2019 | DATE | Data Flow Testing for SystemC-AMS Timed Data Flow Models. | Muhammad Hassan, Daniel Groe, Hoang M. Le, Rolf Drechsler |
| 2019 | FDL | Functional Coverage-Driven Characterization of RF Amplifiers. | Muhammad Hassan, Daniel Groe, Thilo Vrtler, Karsten Einwich, Rolf Drechsler |
| 2019 | IJCNN | GANemotion: Increase Vitality of Characters in Videos by Generative Adversary Networks. | Muhammad Hassan, Yutong Liu, Linghe Kong, Ziming Wang, Guihai Chen |
| 2019 | ISCC | 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 |
| 2019 | IWQoS | Litedge: towards light-weight edge computing for efficient wireless surveillance system. | Yutong Liu, Linghe Kong, Muhammad Hassan, Long Cheng, Guangtao Xue, Guihai Chen |
| 2018 | ACSSC | Detection of Pilot Contamination Attack in Massive MIMO System. | Muhammad Hassan, Awais Ahmed, Muhammad Zia |
| 2018 | DATE | Testbench qualification for SystemC-AMS timed data flow models. | Muhammad Hassan, Daniel Groe, Hoang M. Le, Thilo Vrtler, Karsten Einwich, Rolf Drechsler |
| 2018 | ISPA | DEARS: A Deep Learning Based Elastic and Automatic Resource Scheduling Framework for Cloud Applications. | Muhammad Hassan, Haopeng Chen, Yutong Liu |
| 2018 | WoWMoM | QoE Degradation Attack in Dynamic Adaptive Streaming Over ICN. | Mauro Conti, Ralph E. Droms, Muhammad Hassan, Sebastiano Valle |
| 2017 | BIBE | Towards Automated Distortion and Health Correlation for Age-Related Macular Degeneration. | Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Hassan, Quan Dong Nguyen |
| 2017 | DATE | Data flow testing for virtual prototypes. | Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Groe, Rolf Drechsler |
| 2017 | ICCAD | Early SoC security validation by VP-based static information flow analysis. | Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Groe, Rolf Drechsler |
| 2016 | FCCM | High Level Synthesis Based E-Nose System for Gas Applications. | Amine Ait Si Ali, Abbes Amira, Faycal Bensaali, Mohieddine Benammar, Muhammad Hassan, Amine Bermak |
| 2016 | ICCD | Guided lightweight Software test qualification for IP integration using Virtual Prototypes. | Daniel Groe, Hoang M. Le, Muhammad Hassan, Rolf Drechsler |
| 2015 | CHES | TriviA: A Fast and Secure Authenticated Encryption Scheme. | Avik Chakraborti, Anupam Chattopadhyay, Muhammad Hassan, Mridul Nandi |
| 2015 | DSD | New ASIC/FPGA Cost Estimates for SHA-1 Collisions. | Muhammad Hassan, Ayesha Khalid, Anupam Chattopadhyay, Christian Rechberger, Tim Gneysu, Christof Paar |
| 2014 | ISCAS | Gas classification using binary decision tree classifier. | Muhammad Hassan, Amine Bermak |
| 2013 | ICISS | RAPID-FeinSPN: A Rapid Prototyping Framework for Feistel and SPN-Based Block Ciphers. | Ayesha Khalid, Muhammad Hassan, Anupam Chattopadhyay, Goutam Paul |
| 2011 | TrustCom | An Efficient Method of Tracking across Multiple Cameras. | Muhammad Hassan, Ahsen Mehmood, Muhammad Faisal Khan |