Copertina

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

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Hasnain, Muhammad
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formal Verification of Variational Quantum Circuits
di: Assolini, Nicola, et al.
Pubblicazione: (2025)

Formal Verification of the Sumcheck Protocol
di: Bosshard, Azucena Garvía, et al.
Pubblicazione: (2024)

ProVerif Scripts for the Formal Analysis of our Protocol
di: AdilKhan000
Pubblicazione: (2025)

Evaluation and Implementation of Machine Learning Algorithms to Predict Early Detection of Kidney and Heart Disease in Diabetic Patients
di: Hasnain, Syed Ibad
Pubblicazione: (2025)

Circuit Implementation and Analysis of a Quantum-Walk Based Search Complement Algorithm
di: Wing-Bocanegra, Allan, et al.
Pubblicazione: (2024)

Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification
di: Vinkhuijzen, Lieuwe, et al.
Pubblicazione: (2025)

Formal Verification of the Safegcd Implementation
di: O'Connor, Russell, et al.
Pubblicazione: (2025)

Formal Verification of Minimax Algorithms
di: Wesselink, Wieger, et al.
Pubblicazione: (2025)

Beyond Logical Circuits: Hardware-Aware Analysis of Expressibility and Trainability in Variational Quantum Algorithms
di: Kashif, Muhammad, et al.
Pubblicazione: (2026)

Implementing the Quantum Approximate Optimization Algorithms for QUBO problems Across Quantum Hardware Platforms: Performance Analysis, Challenges, and Strategies
di: Pihkakoski, Teemu, et al.
Pubblicazione: (2025)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
di: Esposito, Andrea, et al.
Pubblicazione: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
di: Bertrand, Nathalie, et al.
Pubblicazione: (2024)

Quantum-Chiplet: A Novel Python-Based Efficient and Scalable Design Methodology for Quantum Circuit Verification and Implementation
di: Kao, Yu-Ting, et al.
Pubblicazione: (2025)

The Role of ChatGPT in Reducing Storage, Energy, and Scalability Overheads in Blockchain‐Based Healthcare Systems
di: Naif Almusallam, et al.
Pubblicazione: (2025)

Formal Modeling and Verification of Grover's Algorithm
di: Sun, H., et al.
Pubblicazione: (2026)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
di: Popovic, Miroslav, et al.
Pubblicazione: (2024)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
di: Curaba, Cristian, et al.
Pubblicazione: (2024)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
di: Pereira, João C., et al.
Pubblicazione: (2024)

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
di: Mallick, Tushin, et al.
Pubblicazione: (2025)

Formal Verification of Markov Processes with Learned Parameters
di: Maaz, Muhammad, et al.
Pubblicazione: (2025)

Verification of Recursively Defined Quantum Circuits
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Characterizing Encrypted Application Traffic through Cellular Radio Interface Protocol
di: Islam, Md Ruman, et al.
Pubblicazione: (2024)

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
di: Blain, Dominik
Pubblicazione: (2026)

Parameterized Verification of Quantum Circuits (Technical Report)
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2025)

The Simplified Quantum Circuits for Implementing Quantum Teleportation
di: Wen‐Xiu Zhang, et al.
Pubblicazione: (2024)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
di: Lewis, Marco, et al.
Pubblicazione: (2021)

Efficient Formal Verification of Quantum Error Correcting Programs
di: Huang, Qifan, et al.
Pubblicazione: (2025)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
di: Gross, Dennis
Pubblicazione: (2025)

Implementation and Analysis of Regev's Quantum Factorization Algorithm
di: Pawlitko, Przemysław, et al.
Pubblicazione: (2025)

Implementation of Entanglement Witnesses with Quantum Circuits
di: Shu‐Qian Shen, et al.
Pubblicazione: (2024)

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
di: Kumar, Aman, et al.
Pubblicazione: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
di: Ye, Kangfeng, et al.
Pubblicazione: (2025)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2026)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
di: Yu, Nengkun, et al.
Pubblicazione: (2025)

Computer Simulation of DNA Computing-Based Boolean Matrix Multiplication
di: Tariq, Muhammad Asad, et al.
Pubblicazione: (2024)

Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
di: Untila, Octavian
Pubblicazione: (2026)

Recurrent Neural Network (RNN)–Based Approach to Uncover the Relationship Between Block Size and Blockchain Performance
di: Muhammad Hasnain, et al.
Pubblicazione: (2024)

Appendix for CAV paper Formal Verification of Quantum Ancilla Safety
di: Li, Jiqi
Pubblicazione: (2026)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
di: Chen, Yu-Fang, et al.
Pubblicazione: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
di: Lehmann, Adrian, et al.
Pubblicazione: (2023)