6 papers
NoisePQC++: A Unified NIST-Compliant PQC and Hybrid-PQC Implementation of the Noise Protocol
Nadeem Ahmed, Aryya Gangopadhyay, Lei Zhang
The threat of quantum computers to classical public-key cryptography has created an urgent need to evolve secure communication protocols with post-quantum cryptographic (PQC) primi…
Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
Lei Zhang
Quantum programs often produce probability distributions rather than deterministic outputs, making verification inherently statistical and increasingly costly on real hardware. In…
Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
Lei Zhang
Hybrid quantum-classical (HQC) algorithms, such as the Variational Quantum Eigensolver (VQE) and the Quantum Approximate Optimization Algorithm (QAOA), are central to near-term qua…
A Survey of Post-Quantum Cryptography Support in Cryptographic Libraries
Nadeem Ahmed, Lei Zhang, Aryya Gangopadhyay
The rapid advancement of quantum computing poses a significant threat to modern cryptographic systems, necessitating the transition to Post-Quantum Cryptography (PQC). This study e…
Identifying Flaky Tests in Quantum Code: A Machine Learning Approach
Khushdeep Kaur, Dongchan Kim, Ainaz Jamshidi +1
Testing and debugging quantum software pose significant challenges due to the inherent complexities of quantum mechanics, such as superposition and entanglement. One challenge is i…
A Lightweight Plug-in Module for Introducing Post-Quantum Cryptography in Higher Education: An Experience Report
Ainaz Jamshidi, Khushdeep Kaur, Aryya Gangopadhyay +2
Post-quantum cryptography (PQC) is increasingly important for computing education, yet integrating it into existing curricula is challenging because it draws on programming, mathem…