Muhammad Hassnain

According to our database, Muhammad Hassnain authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs.

Muhammad Hassnain, Anirudh Basu, Ethan Ng, Caleb Stanford

CoRR, December, 2025

Perovskite Quantum Dot-Based Photovoltaic Biointerface for Photostimulation of Neurons.

Sharadrao A. Vanalakar, Mohammad Haroon Qureshi, Shashi B. Srivastava, Saad U. Khan, Guncem O. Eren, Asim Onal, Lokman Kaya, Hümeyra N. Kaleli, Çigdem Pehlivan, Muhammad Hassnain, Sagar A. Vhanalakar, Afsun Sahin, Murat Hasanreisoglu, Sedat Nizamoglu

IEEE Trans. Biomed. Eng., April, 2025

2024

Counterexamples in Safe Rust.

Muhammad Hassnain, Caleb Stanford

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024