:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hasnain, Muhammad
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.18171331
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

ProVerif Scripts for the Formal Analysis of our Protocol
by: AdilKhan000
Published: (2025)

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

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

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

Formal Verification of Minimax Algorithms
by: Wesselink, Wieger, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Formal Verification of Noisy Quantum Reinforcement Learning Policies
by: Gross, Dennis
Published: (2025)

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

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

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

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

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

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

VerificAgent: Domain-Specific Memory Verification for Scalable Oversight of Aligned Computer-Use Agents
by: Nguyen, Thong Q., et al.
Published: (2025)

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

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

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