Formal Verification of Quantum Circuits Performance Analysis Across Algorithmic and Protocol-Based Implementations

Zenodo (CERN European Organization for Nuclear Research) 2026 Preprint Open access

Read full text
Authors: Muhammad Faisal Hasnain
DOI: 10.5281/zenodo.18171330
Cited by: 0

Fields of Study & Subjects

Quantum Computing Algorithms and Architecture Formal Methods in Verification Physical Unclonable Functions (PUFs) and Hardware Security

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
7 January 2026
Document type
Preprint