Imagen de Portada

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tsujio, Kohei, Faruque, Mohammad Abdullah Al, Shoukry, Yasser
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
por: Tsujio, Kohei, et al.
Publicado: (2024)

Environmental Rate Manipulation Attacks on Power Grid Security
por: Achamyeleh, Yonatan Gizachew, et al.
Publicado: (2025)

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

Poster Abstract: Time Attacks using Kernel Vulnerabilities
por: Soomro, Muhammad Abdullah, et al.
Publicado: (2025)

Enhancing Data Integrity and Traceability in Industry Cyber Physical Systems (ICPS) through Blockchain Technology: A Comprehensive Approach
por: Hossain, Mohammad Ikbal, et al.
Publicado: (2024)

A Review of Detection, Evolution, and Data Reconstruction Strategies for False Data Injection Attacks in Power Cyber-Physical Systems
por: Bo, Xiaoyong
Publicado: (2025)

Investigation of Cyber Attacks on a Water Distribution System
por: Adepu, Sridhar, et al.
Publicado: (2019)

A Hybrid Intrusion Detection System with a New Approach to Protect the Cybersecurity of Cloud Computing
por: Al-Husseini, Maryam Mahdi
Publicado: (2025)

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

The Cyber Immune System: Harnessing Adversarial Forces for Security Resilience
por: Tallam, Krti
Publicado: (2025)

Causality for Cyber-Physical Systems
por: Araujo, Hugo, et al.
Publicado: (2025)

Cyber Attacks Detection, Prevention, and Source Localization in Digital Substation Communication using Hybrid Statistical-Deep Learning
por: Cibin, Nicola, et al.
Publicado: (2025)

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

Time Stepped Cyber Physical Simulation of DoS, DoD, and FDI Attacks on the IEEE 14 Bus System
por: Tossa, Manuella Christelle, et al.
Publicado: (2026)

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

Architectural Implications of the UK Cyber Security and Resilience Bill
por: Shelby, Jonathan
Publicado: (2026)

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

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

Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
por: Adhikary, Sunandan, et al.
Publicado: (2020)

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

Assessment of Quantitative Cyber-Physical Reliability of SCADA Systems in Autonomous Vehicle to Grid (V2G) Capable Smart Grids
por: Gaffar, Md Abdul
Publicado: (2025)

Evaluation of Real-Time Mitigation Techniques for Cyber Security in IEC 61850 / IEC 62351 Substations
por: Herath, Akila, et al.
Publicado: (2025)

Examining the Effectiveness of Transformer-Based Smart Contract Vulnerability Scan
por: Balci, Emre, et al.
Publicado: (2026)

An Unsupervised Adversarial Autoencoder for Cyber Attack Detection in Power Distribution Grids
por: Zideh, Mehdi Jabbari, et al.
Publicado: (2024)

Multi-sensor Intrusion Detection System
por: Arinde, Victor, et al.
Publicado: (2024)

Auto-SGCR: Automated Generation of Smart Grid Cyber Range Using IEC 61850 Standard Models
por: Roomi, Muhammad M., et al.
Publicado: (2025)

Optimal Planning for Enhancing the Resilience of Modern Distribution Systems Against Cyberattacks
por: Khashayardoost, Armita, et al.
Publicado: (2025)

Cyber-Resilient System Identification for Power Grid through Bayesian Integration
por: Li, Shimiao, et al.
Publicado: (2025)

ANALYSE -- Learning to Attack Cyber-Physical Energy Systems With Intelligent Agents
por: Wolgast, Thomas, et al.
Publicado: (2023)

What Would Trojans Do? Exploiting Partial-Information Vulnerabilities in Autonomous Vehicle Sensing
por: Hallyburton, R. Spencer, et al.
Publicado: (2023)

Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
por: Somarakis, Christoforos, et al.
Publicado: (2024)

Extending Adaptive Cruise Control with Machine Learning Intrusion Detection Systems
por: Othmane, Lotfi Ben, et al.
Publicado: (2026)

Detecting and Mitigating Backdoor Attacks in OTA-FL Systems: A Two-Stage Robust Aggregation Scheme
por: Ma, Xiaoyan, et al.
Publicado: (2026)

ShieldMMU: Detecting and Defending against Controlled-Channel Attacks in Shielding Memory System
por: Liu, Gang, et al.
Publicado: (2025)

Distributed Intrusion Detection System using Semantic-based Rules for SCADA in Smart Grid
por: Mohan, Sathya Narayana, et al.
Publicado: (2024)

A Kolmogorov-Arnold Network for Interpretable Cyberattack Detection in AGC Systems
por: Jilan, Jehad, et al.
Publicado: (2025)

Data-Driven Falsification of Cyber-Physical Systems
por: Kundu, Atanu, et al.
Publicado: (2025)

GeoShield: Byzantine Fault Detection and Recovery for Geo-Distributed Real-Time Cyber-Physical Systems
por: Cai, Yifan, et al.
Publicado: (2025)

Contrastive-KAN: A Semi-Supervised Intrusion Detection Framework for Cybersecurity with scarce Labeled Data
por: Alikhani, Mohammad, et al.
Publicado: (2025)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
por: Ferlez, James, et al.
Publicado: (2020)