IoTBench / IoTBench-test-suite
A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
☆64Updated 5 years ago
Alternatives and similar repositories for IoTBench-test-suite:
Users that are interested in IoTBench-test-suite are comparing it to the libraries listed below
- IoT Reading List (IoT research papers from 2016 to 2019)☆85Updated 6 years ago
- ☆44Updated 2 years ago
- Security benchmarks for the Internet of Things☆22Updated 4 years ago
- ☆39Updated 4 years ago
- ☆22Updated 3 years ago
- On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542☆29Updated 3 years ago
- 2019 and 2020 Top Conference Paper☆13Updated 3 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆76Updated 3 years ago
- ☆19Updated 6 years ago
- ☆30Updated 3 months ago
- Securing Embedded Systems with Return Address Integrity☆14Updated 6 months ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 6 years ago
- ☆46Updated 3 years ago
- An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LL…☆21Updated 2 years ago
- Large-scale Analysis of Cryptographic Misuse in IoT Devices☆22Updated 5 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- DiAne is a smart fuzzer for IoT devices☆39Updated 11 months ago
- ☆47Updated 4 years ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆25Updated 2 years ago
- ☆21Updated 6 months ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Updated 2 months ago
- K-Miner☆75Updated 5 years ago
- ☆60Updated 2 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 5 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆15Updated 4 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 6 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆37Updated 3 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago