yuqiChen94 / Swat_Simulator
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Swat_Simulator
- ☆26Updated 2 years ago
- ☆9Updated 3 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆31Updated 3 years ago
- Website for Research Artifacts from the Security Community☆18Updated last month
- Security benchmarks for the Internet of Things☆23Updated 4 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆33Updated last year
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542☆29Updated 2 years ago
- ☆24Updated 9 months ago
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- Forecasting Malware Capabilities From Cyber Attack Memory Images☆30Updated last year
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆13Updated last year
- ☆50Updated 6 years ago
- ☆44Updated 2 years ago
- ☆23Updated 2 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆38Updated 2 weeks ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- ☆12Updated 2 years ago
- ☆11Updated 3 years ago
- ☆26Updated 3 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆25Updated last year
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated last year
- ☆25Updated 6 years ago
- ☆39Updated last year
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆30Updated last year