Cover Image

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tsujio, Kohei, Faruque, Mohammad Abdullah Al, Shoukry, Yasser
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
by: Tsujio, Kohei, et al.
Published: (2025)

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

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

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

Enhancing Data Integrity and Traceability in Industry Cyber Physical Systems (ICPS) through Blockchain Technology: A Comprehensive Approach
by: Hossain, Mohammad Ikbal, 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

OffRAMPS: An FPGA-based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems
by: Blocklove, Jason, et al.
Published: (2024)

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

Wireless Integrated Authenticated Communication System (WIA-Comm)
by: Bharadwaj, Amith N, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

SRAM-based Physically Unclonable Function using Lightweight Hamming-Code Fuzzy Extractor for Energy Harvesting Beat Sensors
by: Pham, Hoang-Long, et al.
Published: (2025)

Threat-based Security Controls to Protect Industrial Control Systems
by: Srinivasan, Haritha, et al.
Published: (2025)

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

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