All Publications

all publications in reversed chronological order.

CCS'26

Credit Without Debit: Formal Verification of Banking Payment Systems

Ali Hamza Malik , Muhammad Taqi Raza

ACM CCS 2026

DOI PDF
PQQS'26

Certified Confinement: Kernel-Checked Validation of Untrusted Quantum-Cloud Transpiler Output

Ali Hamza Malik , Muhammad Taqi Raza

ACM PQQS 2026

DOI PDF Code
PQQS'26

Demonstration: An Interactive Bench for Symbolic Models of Quantum Protocols

Ali Hamza Malik , Muhammad Taqi Raza

ACM PQQS 2026

DOI Code
PQQS'26

Poster: autoPQC: Hardware-in-the-Loop Formal Analysis of Hybrid PQ-TLS Protocol Implementations

Ali Hamza Malik , Muhammad Taqi Raza

ACM PQQS 2026

DOI
QCE'26

Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution

Ali Hamza Malik , Raja Hasnain Anwar , Muhammad Taqi Raza

IEEE Quantum Week 2026

Preprint Code Read Blog