Cover Image

Outsourcing SAT-based Verification Computations in Network Security

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Duan, Qi, Al-Shaer, Ehab
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Firewall Regulatory Networks for Autonomous Cyber Defense
by: Duan, Qi, et al.
Published: (2025)

ranDecepter: Real-time Identification and Deterrence of Ransomware Attacks
by: Sajid, Md Sajidul Islam, et al.
Published: (2025)

Secure Outsourced Decryption for FHE-based Privacy-preserving Cloud Computing
by: Ma, Xirong, et al.
Published: (2024)

TRUST: A Toolkit for TEE-Assisted Secure Outsourced Computation over Integers
by: Zhao, Bowen, et al.
Published: (2024)

Silenzio: Secure Non-Interactive Outsourced MLP Training
by: Sander, Jonas, et al.
Published: (2025)

SecONNds: Secure Outsourced Neural Network Inference on ImageNet
by: Balla, Shashank
Published: (2025)

ReDASH: Fast and efficient Scaling in Arithmetic Garbled Circuits for Secure Outsourced Inference
by: Maurer, Felix, et al.
Published: (2025)

SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection
by: Luo, Mao, et al.
Published: (2025)

Thwarting Cybersecurity Attacks with Explainable Concept Drift
by: Shaer, Ibrahim, et al.
Published: (2024)

Enhanced Outsourced and Secure Inference for Tall Sparse Decision Trees
by: Quijano, Andrew, et al.
Published: (2025)

A Role-Based Encryption Scheme for Securing Outsourced Cloud Data in a Multi-Organization Context
by: Sultan, Nazatul Haque, et al.
Published: (2020)

Emulation-based System-on-Chip Security Verification: Challenges and Opportunities
by: Rahman, Tanvir, et al.
Published: (2026)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

Towards a Novel Privacy-Preserving Distributed Multiparty Data Outsourcing Scheme for Cloud Computing with Quantum Key Distribution
by: Dhinakaran, D., et al.
Published: (2024)

A Brief Study of Computer Network Security Technologies
by: A, Tulasi Udupa, et al.
Published: (2024)

Equilibrium SAT based PQC: New aegis against quantum computing
by: Cho, Keum-Bae
Published: (2025)

Dissecting Open Edge Computing Platforms: Ecosystem, Usage, and Security Risks
by: Bi, Yu, et al.
Published: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
by: Antón, Anna Lena Duque, et al.
Published: (2024)

Detecting and Measuring Security Implications of Entangled Domain Verification in CDN
by: Lin, Ziyu, et al.
Published: (2024)

Registered Attribute-Based Encryption with Reliable Outsourced Decryption Based on Blockchain
by: Cai, Dongliang, et al.
Published: (2024)

SecIC3: Customizing IC3 for Hardware Security Verification
by: Tan, Qinhan, et al.
Published: (2026)

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
by: Akyash, Mohammad, et al.
Published: (2024)

Computer Application Research based on Chinese Human Resources and Network Information Security Technology Management and Analysis In Chinese Universities
by: Cui, Jun
Published: (2024)

High-Throughput Secure Multiparty Computation with an Honest Majority in Various Network Settings
by: Harth-Kitzerow, Christopher, et al.
Published: (2022)

Beyond the Voice: Inertial Sensing of Mouth Motion for High Security Speech Verification
by: Ineza, Ynes, et al.
Published: (2025)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

SNNGX: Securing Spiking Neural Networks with Genetic XOR Encryption on RRAM-based Neuromorphic Accelerator
by: Wong, Kwunhang, et al.
Published: (2024)

Security-Aware Joint Sensing, Communication, and Computing Optimization in Low Altitude Wireless Networks
by: Wang, Jiacheng, et al.
Published: (2025)

Zero-Trust Mobility-Aware Authentication Framework for Secure Vehicular Fog Computing Networks
by: Ahmad, Taimoor
Published: (2025)

Agora: Trust Less and Open More in Verification for Confidential Computing
by: Chen, Hongbo, et al.
Published: (2024)

Packed Malware Detection Using Grayscale Binary-to-Image Representations
by: Alkhateeb, Ehab, et al.
Published: (2025)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
by: Hasan, Khan Thamid, et al.
Published: (2026)

The Future of Document Verification: Leveraging Blockchain and Self-Sovereign Identity for Enhanced Security and Transparency
by: Radha, Swapna Krishnakumar, et al.
Published: (2024)

An LLM-based Self-Evolving Security Framework for 6G Space-Air-Ground Integrated Networks
by: Qin, Qi, et al.
Published: (2025)

Attribute-Based Encryption With Payable Outsourced Decryption Using Blockchain and Responsive Zero Knowledge Proof
by: Cai, Dongliang, et al.
Published: (2024)

Systems Security Foundations for Agentic Computing
by: Christodorescu, Mihai, et al.
Published: (2025)

A Survey on Security with Quantum Computing
by: Sangala, Manik Kumar, et al.
Published: (2026)

AI-based Traffic Modeling for Network Security and Privacy: Challenges Ahead
by: Divakaran, Dinil Mon
Published: (2025)

Comment on "An Efficient Privacy-Preserving Ranked Multi-Keyword Retrieval for Multiple Data Owners in Outsourced Cloud"
by: Varri, Uma Sankararao
Published: (2024)