Cover Image

WaveVerif: Acoustic Side-Channel based Verification of Robotic Workflows

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Erdogan, Zeynep Yasemin, Nagaraja, Shishir, Ahmed, Chuadhry Mujeeb, Shah, Ryan
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Artificial Intelligence Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLM-CSEC: Empirical Evaluation of Security in C/C++ Code Generated by Large Language Models
by: Shahid, Muhammad Usman, et al.
Published: (2025)

AttackLLM: LLM-based Attack Pattern Generation for an Industrial Control System
by: Ahmed, Chuadhry Mujeeb
Published: (2025)

From Prompt to Physical Actuation: Holistic Threat Modeling of LLM-Enabled Robotic Systems
by: Nagaraja, Neha, et al.
Published: (2026)

Time Constant: Actuator Fingerprinting using Transient Response of Device and Process in ICS
by: Ahmed, Chuadhry Mujeeb, et al.
Published: (2024)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
by: Li, Hongwei, et al.
Published: (2025)

Cyber-Physical Steganography in Robotic Motion Control
by: Chang, Ching-Chun, et al.
Published: (2025)

Not What You Asked For: Typographic Attacks in Household Robot Manipulation
by: Iranmanesh, Ali, et al.
Published: (2026)

Time-Constrained Intelligent Adversaries for Automation Vulnerability Testing: A Multi-Robot Patrol Case Study
by: Ward, James C., et al.
Published: (2025)

Where Do LLM-based Systems Break? A System-Level Security Framework for Risk Assessment and Treatment
by: Nagaraja, Neha, et al.
Published: (2026)

Side-Channel Analysis of OpenVINO-based Neural Network Models
by: Jap, Dirmanto, et al.
Published: (2024)

Natural Language based Specification and Verification
by: Li, Zhaorui, et al.
Published: (2026)

Goal-Driven Risk Assessment for LLM-Powered Systems: A Healthcare Case Study
by: Nagaraja, Neha, et al.
Published: (2026)

Towards Automating Blockchain Consensus Verification with IsabeLLM
by: Jones, Elliot, et al.
Published: (2026)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
by: Veronica, Sarah
Published: (2025)

iSeal: Encrypted Fingerprinting for Reliable LLM Ownership Verification
by: Xiong, Zixun, et al.
Published: (2025)

ARACNE: An LLM-Based Autonomous Shell Pentesting Agent
by: Nieponice, Tomas, et al.
Published: (2025)

Aportes para el cumplimiento del Reglamento (UE) 2024/1689 en robótica y sistemas autónomos
by: Lera, Francisco J. Rodríguez, et al.
Published: (2025)

Drones that Think on their Feet: Sudden Landing Decisions with Embodied AI
by: Barbosa, Diego Ortiz, et al.
Published: (2025)

DropVLA: An Action-Level Backdoor Attack on Vision-Language-Action Models
by: Xu, Zonghuan, et al.
Published: (2025)

Towards Robust and Secure Embodied AI: A Survey on Vulnerabilities and Attacks
by: Xing, Wenpeng, et al.
Published: (2025)

SafeAgentBench: A Benchmark for Safe Task Planning of Embodied LLM Agents
by: Yin, Sheng, et al.
Published: (2024)

Enhancing Privacy and Security of Autonomous UAV Navigation
by: Aggarwal, Vatsal, et al.
Published: (2024)

SoK: On the Semantic AI Security in Autonomous Driving
by: Shen, Junjie, et al.
Published: (2022)

SilentDrift: Exploiting Action Chunking for Stealthy Backdoor Attacks on Vision-Language-Action Models
by: Xu, Bingxin, et al.
Published: (2026)

Decentralized Weather Forecasting via Distributed Machine Learning and Blockchain-Based Model Validation
by: Umar, Rilwan, et al.
Published: (2025)

Scalable GPU-Based Integrity Verification for Large Machine Learning Models
by: Spoczynski, Marcin, et al.
Published: (2025)

Benchmarking Security Risk Detection and Verification in Open Agentic Skill Ecosystems
by: Hossain, Ismail, et al.
Published: (2026)

CHIP: Chameleon Hash-based Irreversible Passport for Robust Deep Model Ownership Verification and Active Usage Control
by: Xu, Chaohui, et al.
Published: (2025)

Zero-to-One IDV: A Conceptual Model for AI-Powered Identity Verification
by: Vaidya, Aniket, et al.
Published: (2025)

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

ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
by: Tashdid, Ishraq, et al.
Published: (2026)

SSCL-BW: Sample-Specific Clean-Label Backdoor Watermarking for Dataset Ownership Verification
by: Wang, Yingjia, et al.
Published: (2025)

Zero-Knowledge Audit for Internet of Agents: Privacy-Preserving Communication Verification with Model Context Protocol
by: Jing, Guanlin, et al.
Published: (2025)

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
by: Hasan, Md Ajoad, et al.
Published: (2026)

MoEcho: Exploiting Side-Channel Attacks to Compromise User Privacy in Mixture-of-Experts LLMs
by: Ding, Ruyi, et al.
Published: (2025)

PrivComp-KG : Leveraging Knowledge Graph and Large Language Models for Privacy Policy Compliance Verification
by: Garza, Leon, et al.
Published: (2024)

Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure
by: Blain, Dominik
Published: (2026)

Beyond TVLA: Anderson-Darling Leakage Assessment for Neural Network Side-Channel Leakage Detection
by: Mikulec, Ján, et al.
Published: (2026)

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