Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tsujio, Kohei, Faruque, Mohammad Abdullah Al, Shoukry, Yasser
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
par: Tsujio, Kohei, et autres
Publié: (2025)

Environmental Rate Manipulation Attacks on Power Grid Security
par: Achamyeleh, Yonatan Gizachew, et autres
Publié: (2025)

Firewall Regulatory Networks for Autonomous Cyber Defense
par: Duan, Qi, et autres
Publié: (2025)

Poster Abstract: Time Attacks using Kernel Vulnerabilities
par: Soomro, Muhammad Abdullah, et autres
Publié: (2025)

Enhancing Data Integrity and Traceability in Industry Cyber Physical Systems (ICPS) through Blockchain Technology: A Comprehensive Approach
par: Hossain, Mohammad Ikbal, et autres
Publié: (2024)

Lifecycle-Integrated Security for AI-Cloud Convergence in Cyber-Physical Infrastructure
par: Rashid, S M Zia Ur, et autres
Publié: (2026)

Investigation of Cyber Attacks on a Water Distribution System
par: Adepu, Sridhar, et autres
Publié: (2019)

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

An Advanced Cyber-Physical System Security Testbed for Substation Automation
par: Herath, Akila, et autres
Publié: (2025)

The Cyber Immune System: Harnessing Adversarial Forces for Security Resilience
par: Tallam, Krti
Publié: (2025)

Causality for Cyber-Physical Systems
par: Araujo, Hugo, et autres
Publié: (2025)

Cyber-Resilient System Identification for Power Grid through Bayesian Integration
par: Li, Shimiao, et autres
Publié: (2025)

Enhancing Cyber-Resiliency of DER-based SmartGrid: A Survey
par: Liu, Mengxiang, et autres
Publié: (2023)

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

Cyber Attacks Detection, Prevention, and Source Localization in Digital Substation Communication using Hybrid Statistical-Deep Learning
par: Cibin, Nicola, et autres
Publié: (2025)

Time Stepped Cyber Physical Simulation of DoS, DoD, and FDI Attacks on the IEEE 14 Bus System
par: Tossa, Manuella Christelle, et autres
Publié: (2026)

Architectural Implications of the UK Cyber Security and Resilience Bill
par: Shelby, Jonathan
Publié: (2026)

SG-ML: Smart Grid Cyber Range Modelling Language
par: Roomi, Muhammad M., et autres
Publié: (2025)

BETA-UAV: Blockchain-based Efficient Authentication for Secure UAV Communication
par: Hafeez, Sana, et autres
Publié: (2024)

Distributed Intrusion Detection System using Semantic-based Rules for SCADA in Smart Grid
par: Mohan, Sathya Narayana, et autres
Publié: (2024)

Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
par: Adhikary, Sunandan, et autres
Publié: (2020)

Cyber-Physical Co-Simulation of Load Frequency Control under Load-Altering Attacks
par: Forystek, Michał, et autres
Publié: (2025)

OffRAMPS: An FPGA-based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems
par: Blocklove, Jason, et autres
Publié: (2024)

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

Wireless Integrated Authenticated Communication System (WIA-Comm)
par: Bharadwaj, Amith N, et autres
Publié: (2024)

Evaluation of Real-Time Mitigation Techniques for Cyber Security in IEC 61850 / IEC 62351 Substations
par: Herath, Akila, et autres
Publié: (2025)

System-level Analysis of Adversarial Attacks and Defenses on Intelligence in O-RAN based Cellular Networks
par: Chiejina, Azuka, et autres
Publié: (2024)

Examining the Effectiveness of Transformer-Based Smart Contract Vulnerability Scan
par: Balci, Emre, et autres
Publié: (2026)

An Unsupervised Adversarial Autoencoder for Cyber Attack Detection in Power Distribution Grids
par: Zideh, Mehdi Jabbari, et autres
Publié: (2024)

Multi-sensor Intrusion Detection System
par: Arinde, Victor, et autres
Publié: (2024)

Auto-SGCR: Automated Generation of Smart Grid Cyber Range Using IEC 61850 Standard Models
par: Roomi, Muhammad M., et autres
Publié: (2025)

Optimal Planning for Enhancing the Resilience of Modern Distribution Systems Against Cyberattacks
par: Khashayardoost, Armita, et autres
Publié: (2025)

ANALYSE -- Learning to Attack Cyber-Physical Energy Systems With Intelligent Agents
par: Wolgast, Thomas, et autres
Publié: (2023)

What Would Trojans Do? Exploiting Partial-Information Vulnerabilities in Autonomous Vehicle Sensing
par: Hallyburton, R. Spencer, et autres
Publié: (2023)

Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
par: Somarakis, Christoforos, et autres
Publié: (2024)

Extending Adaptive Cruise Control with Machine Learning Intrusion Detection Systems
par: Othmane, Lotfi Ben, et autres
Publié: (2026)

SRAM-based Physically Unclonable Function using Lightweight Hamming-Code Fuzzy Extractor for Energy Harvesting Beat Sensors
par: Pham, Hoang-Long, et autres
Publié: (2025)

Threat-based Security Controls to Protect Industrial Control Systems
par: Srinivasan, Haritha, et autres
Publié: (2025)

ShieldMMU: Detecting and Defending against Controlled-Channel Attacks in Shielding Memory System
par: Liu, Gang, et autres
Publié: (2025)

Detecting and Mitigating Backdoor Attacks in OTA-FL Systems: A Two-Stage Robust Aggregation Scheme
par: Ma, Xiaoyan, et autres
Publié: (2026)