Cover Image

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yao, Jianzhu, Su, Hongxu, Liao, Taobo, Cheng, Zerui, Zhang, Huan, Wang, Xuechao, Viswanath, Pramod
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Artificial Intelligence Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Blockchain-Enabled Framework of UAV Coordination for Post-Disaster Networks
by: Hafeez, Sana, et al.
Published: (2024)

Blockchain-Enhanced UAV Networks for Post-Disaster Communication: A Decentralized Flocking Approach
by: Hafeez, Sana, et al.
Published: (2024)

LegionITS: A Federated Intrusion-Tolerant System Architecture
by: Freitas, Tadeu, et al.
Published: (2025)

Zk-SNARK for String Match
by: Li, Taoran, et al.
Published: (2025)

Security-Aware Sensor Fusion with MATE: the Multi-Agent Trust Estimator
by: Hallyburton, R. Spencer, et al.
Published: (2025)

Solving the Post-Quantum Control Plane Bottleneck: Energy-Aware Cryptographic Scheduling in Open RAN
by: Gupta, Neha, et al.
Published: (2026)

I Still See You: Why Existing IoT Traffic Reshaping Fails
by: Wang, Su, et al.
Published: (2024)

Quantum Key Distribution for Virtual Power Plant Communication: A Lightweight Key-Aware Scheduler with Provable Stability
by: Zhu, Ziqing
Published: (2025)

Behavioral Integrity Verification for AI Agent Skills
by: Wu, Yuhao, et al.
Published: (2026)

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
by: Zhou, Duo, et al.
Published: (2024)

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

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols
by: Tang, Weizhao, et al.
Published: (2023)

Quantifying Security for Networked Control Systems: A Review
by: Anand, Sribalaji C., et al.
Published: (2025)

Blockchain-Enabled Management Framework for Federated Coalition Networks
by: González, Jorge Álvaro, et al.
Published: (2025)

Markov Chain-based Model of Blockchain Radio Access Networks
by: Kouvakis, Vasileios, et al.
Published: (2025)

Breaking the Flow and the Bank: Stealthy Cyberattacks on Water Network Hydraulics
by: Albustami, Abdallah Alalem, et al.
Published: (2025)

A CAD Framework for Simulation of Network Level Attack on Platoons
by: Koley, Ipsita, et al.
Published: (2022)

Adaptive Network Security Policies via Belief Aggregation and Rollout
by: Hammar, Kim, et al.
Published: (2025)

Demo: Secure Edge Server for Network Slicing and Resource Allocation in Open RAN
by: Alchaab, Adhwaa, et al.
Published: (2025)

A Provably Secure Network Protocol for Private Communication with Analysis and Tracing Resistance
by: Ge, Chao, et al.
Published: (2025)

Amalgam: A Framework for Obfuscated Neural Network Training on the Cloud
by: Taki, Sifat Ut, et al.
Published: (2024)

System-level Analysis of Adversarial Attacks and Defenses on Intelligence in O-RAN based Cellular Networks
by: Chiejina, Azuka, et al.
Published: (2024)

Secure Semantic Communications via AI Defenses: Fundamentals, Solutions, and Future Directions
by: Zhang, Lan, et al.
Published: (2026)

Privacy-Aware Smart Cameras: View Coverage via Socially Responsible Coordination
by: Qin, Chuhao, et al.
Published: (2026)

BETA-UAV: Blockchain-based Efficient Authentication for Secure UAV Communication
by: Hafeez, Sana, et al.
Published: (2024)

Enhancing Cyber-Resiliency of DER-based SmartGrid: A Survey
by: Liu, Mengxiang, et al.
Published: (2023)

A Survey On Secure Machine Learning
by: Liao, Taobo, et al.
Published: (2025)

SpecGuard: Specification Aware Recovery for Robotic Autonomous Vehicles from Physical Attacks
by: Dash, Pritam, et al.
Published: (2024)

Neural Network-Based Detection and Multi-Class Classification of FDI Attacks in Smart Grid Home Energy Systems
by: Sen, Varsha, et al.
Published: (2025)

Localization of Dummy Data Injection Attacks in Power Systems Considering Incomplete Topological Information: A Spatio-Temporal Graph Wavelet Convolutional Neural Network Approach
by: Qu, Zhaoyang, et al.
Published: (2024)

Design of Stochastic Quantizers for Privacy Preservation
by: Liu, Le, et al.
Published: (2024)

Lifecycle-Integrated Security for AI-Cloud Convergence in Cyber-Physical Infrastructure
by: Rashid, S M Zia Ur, et al.
Published: (2026)

An Advanced Cyber-Physical System Security Testbed for Substation Automation
by: Herath, Akila, et al.
Published: (2025)

Cyber-Physical Co-Simulation of Load Frequency Control under Load-Altering Attacks
by: Forystek, Michał, et al.
Published: (2025)

SG-ML: Smart Grid Cyber Range Modelling Language
by: Roomi, Muhammad M., et al.
Published: (2025)

SoK: A Systematic Review of Malware Ontologies and Taxonomies and Implications for the Quantum Era
by: Molade, Dehinde, et al.
Published: (2025)

Design and Detection of Covert Man-in-the-Middle Cyberattacks on Water Treatment Plants
by: Mattos, Victor, et al.
Published: (2025)

Client-Aided Secure Two-Party Computation of Dynamic Controllers
by: Teranishi, Kaoru, et al.
Published: (2025)

Cyberscurity Threats and Defense Mechanisms in IoT network
by: Dao, Trung, et al.
Published: (2026)