Buchumschlag

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

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hasnain, Muhammad
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal Verification of Variational Quantum Circuits
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)

ProVerif Scripts for the Formal Analysis of our Protocol
von: AdilKhan000
Veröffentlicht: (2025)

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

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

Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification
von: Vinkhuijzen, Lieuwe, et al.
Veröffentlicht: (2025)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

Formal Verification of Minimax Algorithms
von: Wesselink, Wieger, et al.
Veröffentlicht: (2025)

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

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

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
von: Esposito, Andrea, et al.
Veröffentlicht: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2024)

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

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

Formal Modeling and Verification of Grover's Algorithm
von: Sun, H., et al.
Veröffentlicht: (2026)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
von: Popovic, Miroslav, et al.
Veröffentlicht: (2024)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
von: Curaba, Cristian, et al.
Veröffentlicht: (2024)

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

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
von: Mallick, Tushin, et al.
Veröffentlicht: (2025)

Formal Verification of Markov Processes with Learned Parameters
von: Maaz, Muhammad, et al.
Veröffentlicht: (2025)

Verification of Recursively Defined Quantum Circuits
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Characterizing Encrypted Application Traffic through Cellular Radio Interface Protocol
von: Islam, Md Ruman, et al.
Veröffentlicht: (2024)

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

Parameterized Verification of Quantum Circuits (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2025)

The Simplified Quantum Circuits for Implementing Quantum Teleportation
von: Wen‐Xiu Zhang, et al.
Veröffentlicht: (2024)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
von: Lewis, Marco, et al.
Veröffentlicht: (2021)

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
von: Gross, Dennis
Veröffentlicht: (2025)

Implementation and Analysis of Regev's Quantum Factorization Algorithm
von: Pawlitko, Przemysław, et al.
Veröffentlicht: (2025)

Implementation of Entanglement Witnesses with Quantum Circuits
von: Shu‐Qian Shen, et al.
Veröffentlicht: (2024)

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
von: Kumar, Aman, et al.
Veröffentlicht: (2024)

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

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2026)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

Computer Simulation of DNA Computing-Based Boolean Matrix Multiplication
von: Tariq, Muhammad Asad, et al.
Veröffentlicht: (2024)

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

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

Appendix for CAV paper Formal Verification of Quantum Ancilla Safety
von: Li, Jiqi
Veröffentlicht: (2026)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
von: Chen, Yu-Fang, et al.
Veröffentlicht: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
von: Lehmann, Adrian, et al.
Veröffentlicht: (2023)