Copertina

Towards Classical Software Verification using Quantum Computers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Issel, Sebastian, Tscharke, Kilian, Debus, Pascal
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Quantum Physics Cryptography and Security Emerging Technologies
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Semisupervised Anomaly Detection using Support Vector Regression with Quantum Kernel
di: Tscharke, Kilian, et al.
Pubblicazione: (2023)

Quantum Support Vector Regression for Robust Anomaly Detection
di: Tscharke, Kilian, et al.
Pubblicazione: (2025)

A Comparative Analysis of Adversarial Robustness for Quantum and Classical Machine Learning Models
di: Wendlinger, Maximilian, et al.
Pubblicazione: (2024)

Quantum Searchable Encryption for Cloud Data Based on Full-Blind Quantum Computation
di: Liu, Wenjie, et al.
Pubblicazione: (2023)

Quantum Computing and Cybersecurity Education: A Novel Curriculum for Enhancing Graduate STEM Learning
di: Upadhyay, Suryansh, et al.
Pubblicazione: (2025)

Impact of Error Rate Misreporting on Resource Allocation in Multi-tenant Quantum Computing and Defense
di: Das, Subrata, et al.
Pubblicazione: (2025)

Online Voting using Point to MultiPoint Quantum Key Distribution
di: Huberman, Bernardo A., et al.
Pubblicazione: (2025)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
di: Li, Chenjian, et al.
Pubblicazione: (2025)

The lower energy consumption in cryptocurrency mining processes by SHA-256 Quantum circuit design used in hybrid computing domains
di: Orun, Ahmet, et al.
Pubblicazione: (2023)

Quantum Skyshield: Quantum Key Distribution and Post-Quantum Authentication for Low-Altitude Wireless Networks in Adverse Skies
di: Kaleem, Zeeshan, et al.
Pubblicazione: (2025)

Quantum Privacy-Preserving Price E-Negotiation
di: Liu, Wen-Jie, et al.
Pubblicazione: (2023)

Quantum All-Subkeys-Recovery Attacks on 6-round Feistel-2* Structure Based on Multi-Equations Quantum Claw Finding
di: Liu, Wenjie, et al.
Pubblicazione: (2023)

Lattice-Based Quantum Advantage from Rotated Measurements
di: Alnawakhtha, Yusuf, et al.
Pubblicazione: (2022)

Overview of Routing Approaches in Quantum Key Distribution Networks
di: Cvitic, Ivan, et al.
Pubblicazione: (2025)

Practical Challenges in Executing Shor's Algorithm on Existing Quantum Platforms
di: Bagourd, Paul, et al.
Pubblicazione: (2025)

An Improved Quantum Private Set Intersection Protocol Based on Hadamard Gates
di: Liu, Wenjie, et al.
Pubblicazione: (2023)

Quantum forgery attacks against OTR structures based on Simon's algorithm
di: Liu, Wenjie, et al.
Pubblicazione: (2023)

Analysis of a Programmable Quantum Annealer as a Random Number Generator
di: Pelofske, Elijah
Pubblicazione: (2023)

Quantum forgery attacks on COPA,AES-COPA and marble authenticated encryption algorithms
di: Xu, Yinsong, et al.
Pubblicazione: (2023)

Quantum Privacy-preserving Two-party Circle Intersection Protocol Based on Phase-encoded Query
di: Li, Zi-Xian, et al.
Pubblicazione: (2023)

Secure and Efficient Two-party Quantum Scalar Product Protocol With Application to Privacy-preserving Matrix Multiplication
di: Liu, Wen-Jie, et al.
Pubblicazione: (2023)

Certified randomness using a trapped-ion quantum processor
di: Liu, Minzhao, et al.
Pubblicazione: (2025)

QUACK: Quantum Aligned Centroid Kernel
di: Tscharke, Kilian, et al.
Pubblicazione: (2024)

Quantum Machine Learning Playground
di: Debus, Pascal, et al.
Pubblicazione: (2025)

The Quantum Imitation Game: Reverse Engineering of Quantum Machine Learning Models
di: Ghosh, Archisman, et al.
Pubblicazione: (2024)

A Probabilistic Computing Approach to the Closest Vector Problem for Lattice-Based Factoring
di: Al-Hasso, Max O., et al.
Pubblicazione: (2025)

A Quantum Algorithm for Shapley Value Estimation
di: Burge, Iain, et al.
Pubblicazione: (2023)

A Comparative Study of Classical and Post-Quantum Cryptographic Algorithms in the Era of Quantum Computing
di: Scrivano, Arimondo
Pubblicazione: (2025)

EnThM: Energy Theft Mitigation in Smart Grids using Hierarchical Verification of Metering Data
di: Banerjee, Tapadyoti, et al.
Pubblicazione: (2026)

Enigma: Application-Layer Privacy for Quantum Optimization on Untrusted Computers
di: Ayanzadeh, Ramin, et al.
Pubblicazione: (2023)

Cyber Protection Applications of Quantum Computing: A Review
di: Ahmed, Ummar, et al.
Pubblicazione: (2024)

Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

The Inherent Adversarial Robustness of Analog In-Memory Computing
di: Lammie, Corey, et al.
Pubblicazione: (2024)

Context Switching for Secure Multi-programming of Near-Term Quantum Computers
di: Kumar, Avinash, et al.
Pubblicazione: (2025)

Quantum Computing and Cybersecurity in Accounting and Finance: Current and Future Challenges and the Opportunities for Securing Accounting and Finance Systems in the Post-Quantum World
di: Shadan, Huma Habib, et al.
Pubblicazione: (2025)

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
di: Ankireddy, Dinesh Reddy, et al.
Pubblicazione: (2025)

Towards an identity management solution on Arweave
di: Dragnoiu, Andreea Elena, et al.
Pubblicazione: (2024)

Adversarial Robustness of Partitioned Quantum Classifiers
di: Kananian, Pouya, et al.
Pubblicazione: (2025)

Quantum-Resilient Privacy Ledger (QRPL): A Sovereign Digital Currency for the Post-Quantum Era
di: Bahar, Serhan W.
Pubblicazione: (2025)

ChainGuards: Verification of Sensed Data using Permissioned Blockchain Technology
di: Aguincha, Sara, et al.
Pubblicazione: (2026)