Buchumschlag

Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shang, Jiahui, Zhang, Luning, Zheng, Zhongxiang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From Cyber Threat to Data Shield: Constructing Provably Secure File Erasure with Repurposed Ransomware Cryptography
von: Shang, Jiahui, et al.
Veröffentlicht: (2025)

Practical Secure Inference Algorithm for Fine-tuned Large Language Model Based on Fully Homomorphic Encryption
von: Ruoyan, Zhang, et al.
Veröffentlicht: (2025)

Towards Provably Secure Generative AI: Reliable Consensus Sampling
von: Cui, Yu, et al.
Veröffentlicht: (2025)

Towards Provable (In)Secure Model Weight Release Schemes
von: Yang, Xin, et al.
Veröffentlicht: (2025)

Provably Secure Steganography Based on List Decoding
von: Pang, Kaiyi, et al.
Veröffentlicht: (2026)

Provably Secure Agent Guardrail
von: Wu, Benlong, et al.
Veröffentlicht: (2026)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
von: Ding, Wanning, et al.
Veröffentlicht: (2024)

Towards Provably Secure Encrypted Control Using Homomorphic Encryption
von: Teranishi, Kaoru, et al.
Veröffentlicht: (2022)

Provably Robust and Secure Steganography in Asymmetric Resource Scenario
von: Bai, Minhao, et al.
Veröffentlicht: (2024)

STEAD: Robust Provably Secure Linguistic Steganography with Diffusion Language Model
von: Qi, Yuang, et al.
Veröffentlicht: (2026)

SparSamp: Efficient Provably Secure Steganography Based on Sparse Sampling
von: Wang, Yaofei, et al.
Veröffentlicht: (2025)

Proof of Diligence: Cryptoeconomic Security for Rollups
von: Sheng, Peiyao, et al.
Veröffentlicht: (2024)

Towards Trust Proof for Secure Confidential Virtual Machines
von: Mao, Jingkai, et al.
Veröffentlicht: (2024)

Provably Secure Disambiguating Neural Linguistic Steganography
von: Qi, Yuang, et al.
Veröffentlicht: (2024)

Provably Secure Covert Messaging Using Image-based Diffusion Processes
von: Bauer, Luke A., et al.
Veröffentlicht: (2025)

Provably Secure Non-interactive Key Exchange Protocol for Group-Oriented Applications in Scenarios with Low-Quality Networks
von: Zhang, Rui, et al.
Veröffentlicht: (2024)

A Double-Linked Blockchain Approach Based on Proof-of-Refundable-Tax Consensus Algorithm
von: Jiang, Zheng-Xun, et al.
Veröffentlicht: (2021)

Provably Secure Retrieval-Augmented Generation
von: Zhou, Pengcheng, et al.
Veröffentlicht: (2025)

Multichannel Steganography: A Provably Secure Hybrid Steganographic Model for Secure Communication
von: Omego, Obinna, et al.
Veröffentlicht: (2025)

Provably Secure Public-Key Steganography Based on Admissible Encoding
von: Zhang, Xin, et al.
Veröffentlicht: (2025)

Eden: An Provably Secure, Ultra-Fast, and Fully Decentralized Blockchain Interoperability Protocol
von: Liang, Ke
Veröffentlicht: (2023)

Towards Zero Rotation and Beyond: Architecting Neural Networks for Fast Secure Inference with Homomorphic Encryption
von: Cai, Yifei, et al.
Veröffentlicht: (2026)

Security, Latency, and Throughput of Proof-of-Work Nakamoto Consensus
von: Cao, Shu-Jie, et al.
Veröffentlicht: (2023)

Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities
von: Tas, Ertem Nusret, et al.
Veröffentlicht: (2022)

Constructions of Efficiently Implementable Boolean Functions with Provable Nonlinearity/Resiliency/Algebraic Immunity Trade-Offs
von: Sarkar, Palash
Veröffentlicht: (2025)

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
von: Sherman, Alan T., et al.
Veröffentlicht: (2025)

Implementation of Entropically Secure Encryption: Securing Personal Health Data
von: Temel, Mehmet Hüseyin, et al.
Veröffentlicht: (2024)

Towards Understanding and Enhancing Security of Proof-of-Training for DNN Model Ownership Verification
von: Chang, Yijia, et al.
Veröffentlicht: (2024)

A Dual-Level Cancelable Framework for Palmprint Verification and Hack-Proof Data Storage
von: Yang, Ziyuan, et al.
Veröffentlicht: (2024)

Provable Secure Steganography Based on Adaptive Dynamic Sampling
von: Pang, Kaiyi, et al.
Veröffentlicht: (2025)

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
von: Blake, Christopher, et al.
Veröffentlicht: (2026)

Enhanced Security and Efficiency in Blockchain with Aggregated Zero-Knowledge Proof Mechanisms
von: Kuznetsov, Oleksandr, et al.
Veröffentlicht: (2024)

Unveiling Malicious Logic: Towards a Statement-Level Taxonomy and Dataset for Securing Python Packages
von: Ryan, Ahmed, et al.
Veröffentlicht: (2025)

Secure Multi-Key Homomorphic Encryption with Application to Privacy-Preserving Federated Learning
von: Wu, Jiahui, et al.
Veröffentlicht: (2025)

Blockchain Verifiable Proof of Quantum Supremacy as a Trigger for Quantum-Secure Signatures
von: Papadopoulos, Nicholas J. C.
Veröffentlicht: (2026)

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
von: Ramezan, Gholamreza, et al.
Veröffentlicht: (2024)

Provably Robust Multi-bit Watermarking for AI-generated Text
von: Qu, Wenjie, et al.
Veröffentlicht: (2024)

Smart Contract Security Beyond Detection
von: Abdelaziz, Tamer
Veröffentlicht: (2026)

Efficient Provably Secure Linguistic Steganography via Range Coding
von: Yan, Ruiyi, et al.
Veröffentlicht: (2026)

Future-Proofing Cloud Security Against Quantum Attacks: Risk, Transition, and Mitigation Strategies
von: Baseri, Yaser, et al.
Veröffentlicht: (2025)