hongjun9 / CPinconsistency
Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles
☆10Updated 2 years ago
Alternatives and similar repositories for CPinconsistency:
Users that are interested in CPinconsistency are comparing it to the libraries listed below
- ☆20Updated 2 months ago
- Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach☆14Updated 4 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- Stealthy Attacks against Robotic Vehicles. Please read the following paper before trying out the attacks.☆15Updated 2 years ago
- ☆20Updated 4 years ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆19Updated 2 years ago
- ☆12Updated 2 months ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆15Updated 4 years ago
- ☆24Updated 2 years ago
- Program dependence graph in LLVM☆34Updated 9 months ago
- DriveTester: A Unified Platform for Simulation-Based Autonomous Driving Testing☆23Updated 2 months ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- -☆10Updated 2 years ago
- Recent Fuzzing Paper☆15Updated 2 years ago
- Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution☆13Updated 2 years ago
- ☆36Updated 4 years ago
- PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)☆19Updated last week
- ☆24Updated 2 weeks ago
- ☆80Updated last year
- SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems☆26Updated 3 months ago
- PlanFuzz is a novel dynamic testing tool for discovering semantic DoS vulnerability in AD behavioral planning (NDSS 2022)☆23Updated 2 years ago
- ☆74Updated 2 years ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆69Updated 8 months ago
- ☆18Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- Recent Paper About Bug Detection☆31Updated 5 years ago
- Cross-Project Transfer Representation Learning for Vulnerable Function Discovery☆35Updated 6 years ago
- ☆19Updated 4 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆37Updated 3 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year