Buchumschlag

Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Lei, Chen, Zhiyuan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Cryptography and Security Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
von: Su, Jianzhong, 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)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
von: Cai, Luwei, et al.
Veröffentlicht: (2024)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
von: Wang, Yishun, et al.
Veröffentlicht: (2026)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
von: Huang, Changze, et al.
Veröffentlicht: (2025)

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
von: Fu, Rong, et al.
Veröffentlicht: (2026)

Model-Checking the Implementation of Consent
von: Pardo, Raúl, et al.
Veröffentlicht: (2024)

BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search
von: Wang, Yongpan, et al.
Veröffentlicht: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

Toward Quantum-Safe Software Engineering: A Vision for Post-Quantum Cryptography Migration
von: Zhang, Lei
Veröffentlicht: (2026)

Semantic Consensus Decoding: Backdoor Defense for Verilog Code Generation
von: Yang, Guang, et al.
Veröffentlicht: (2026)

Choosing Coordinate Forms for Solving ECDLP Using Shor's Algorithm
von: Huang, Yan, et al.
Veröffentlicht: (2025)

Semantics-Aligned, Curriculum-Driven, and Reasoning-Enhanced Vulnerability Repair Framework
von: Yang, Chengran, et al.
Veröffentlicht: (2025)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
von: Sun, Tianle, et al.
Veröffentlicht: (2024)

Do Fine-Tuned LLMs Understand Vulnerabilities? An Investigation into the Semantic Trap
von: Huang, Feiyang, et al.
Veröffentlicht: (2026)

Blockchain-enhanced Integrity Verification in Educational Content Assessment Platform: A Lightweight and Cost-Efficient Approach
von: Bayan, Talgar, et al.
Veröffentlicht: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
von: Mohamad, Mazen
Veröffentlicht: (2025)

SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
von: Lingxiang, Wang, et al.
Veröffentlicht: (2025)

Static Semantics Reconstruction for Enhancing JavaScript-WebAssembly Multilingual Malware Detection
von: Xia, Yifan, et al.
Veröffentlicht: (2023)

Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
von: Tung, Lam Nguyen, et al.
Veröffentlicht: (2024)

DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
von: Chen, Zhuo, et al.
Veröffentlicht: (2022)

CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift
von: Yu, Jiongchi, et al.
Veröffentlicht: (2025)

Do Privacy Policies Match with the Logs? An Empirical Study of Privacy Disclosure in Android Application Logs
von: Chen, Zhiyuan, et al.
Veröffentlicht: (2026)

Enterprise Identity Integration for AI-Assisted Developer Services: Architecture, Implementation, and Case Study
von: Chinthareddy, Manideep Reddy
Veröffentlicht: (2026)

Automating SBOM Generation with Zero-Shot Semantic Similarity
von: Pereira, Devin, et al.
Veröffentlicht: (2024)

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
von: Schneider, Simon, et al.
Veröffentlicht: (2025)

SAFuzz: Semantic-Guided Adaptive Fuzzing for LLM-Generated Code
von: Yang, Ziyi, et al.
Veröffentlicht: (2026)

Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator
von: Gong, Haochen, et al.
Veröffentlicht: (2025)

Building Call Graph of WebAssembly Programs via Abstract Semantics
von: Paccamiccio, Mattia, et al.
Veröffentlicht: (2024)

PPT4J: Patch Presence Test for Java Binaries
von: Pan, Zhiyuan, et al.
Veröffentlicht: (2023)

BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering
von: Jiang, Jiayi, et al.
Veröffentlicht: (2024)

Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries
von: Zheng, Xinran, et al.
Veröffentlicht: (2026)

MalFlows: Context-aware Fusion of Heterogeneous Flow Semantics for Android Malware Detection
von: Meng, Zhaoyi, et al.
Veröffentlicht: (2025)

X.509 Information Security Certification Based on Post-Quantum Cryptography
von: Chen, Abel C. H.
Veröffentlicht: (2024)

ORCAS: Obfuscation-Resilient Binary Code Similarity Analysis using Dominance Enhanced Semantic Graph
von: Wang, Yufeng, et al.
Veröffentlicht: (2025)

Enhancing Pre-Trained Language Models for Vulnerability Detection via Semantic-Preserving Data Augmentation
von: Qi, Weiliang, et al.
Veröffentlicht: (2024)

SEDAC: A CVAE-Based Data Augmentation Method for Security Bug Report Identification
von: Liao, Y., et al.
Veröffentlicht: (2024)

A Systematic Study of LLM-Based Architectures for Automated Patching
von: Xu, Qingxiao, et al.
Veröffentlicht: (2026)

Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
von: Lin, Bo, et al.
Veröffentlicht: (2025)

Residual Risk Analysis in Benign Code: How Far Are We? A Multi-Model Semantic and Structural Similarity Approach
von: Farhad, Mohammad, et al.
Veröffentlicht: (2026)