Cyphysecurity / SAVIOR
☆20Updated 4 years ago
Alternatives and similar repositories for SAVIOR:
Users that are interested in SAVIOR are comparing it to the libraries listed below
- Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach☆14Updated 4 years ago
- ☆18Updated last month
- Stealthy Attacks against Robotic Vehicles. Please read the following paper before trying out the attacks.☆15Updated 2 years ago
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Updated 2 years ago
- -☆10Updated 2 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆130Updated 3 months ago
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆27Updated 3 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆33Updated last year
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆18Updated 2 years ago
- A state-aware defense framework against vehicular message injection attacks.☆34Updated 3 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- MSF-ADV is a novel physical-world adversarial attack method, which can fool the Multi Sensor Fusion (MSF) based autonomous driving (AD) p…☆78Updated 3 years ago
- Code for the paper entitled "Dirty Road Can Attack: Security of Deep Learning based Automated Lane Centering under Physical-World Attack"…☆35Updated 3 years ago
- ☆36Updated 4 years ago
- ☆29Updated 2 months ago
- SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems☆26Updated last month
- ☆22Updated 2 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 6 months ago
- Concolic Testing for Deep Neural Networks☆118Updated 3 years ago
- DriveTester: A Unified Platform for Simulation-Based Autonomous Driving Testing☆21Updated 3 weeks ago
- ☆18Updated last year
- Seminar 2022☆22Updated 2 weeks ago
- ☆19Updated 10 months ago
- Code for the AsiaCCS 2021 paper: "Malware makeover: Breaking ML-based static analysis by modifying executable bytes"☆49Updated 9 months ago
- The library for symbolic interval☆20Updated 4 years ago
- A unified framework for AI-enhanced code analysis.☆9Updated last year
- A curated list of malware-related papers.☆23Updated 11 months ago
- Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers☆57Updated 2 years ago
- ☆10Updated 3 months ago
- Fault Injection for Autonomous Vehicles☆9Updated 5 years ago