IoTBench / IoTBench-test-suite
A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
☆62Updated 4 years ago
Related projects: ⓘ
- IoT Reading List (IoT research papers from 2016 to 2019)☆82Updated 5 years ago
- ☆43Updated 2 years ago
- Security benchmarks for the Internet of Things☆23Updated 3 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆22Updated 3 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆36Updated 2 years ago
- Securing Embedded Systems with Return Address Integrity☆13Updated last month
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 6 years ago
- ☆15Updated 3 years ago
- ☆19Updated 3 years ago
- 2019 and 2020 Top Conference Paper☆13Updated 3 years ago
- ☆45Updated 2 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆13Updated 2 years ago
- ACM consolidated LaTeX styles☆63Updated 5 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆70Updated this week
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆41Updated 8 years ago
- Clang static checker that carries out tainting analysis.☆86Updated 6 years ago
- SmartThings Analysis Tools☆25Updated 8 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆20Updated 7 years ago
- A tool that can be used to learn state machines from implementations.☆60Updated 3 years ago
- Home page for this github organization☆22Updated 6 years ago
- User Guided API Misuse Detection☆26Updated last year
- Recent Paper About Bug Detection☆29Updated 4 years ago
- ☆56Updated 2 years ago
- ☆18Updated 3 weeks ago
- ☆39Updated 3 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆13Updated 3 years ago
- Lifting network implementation to precise format specification☆21Updated 5 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆42Updated 4 years ago
- K-Miner☆71Updated 5 years ago
- https://arxiv.org/pdf/2007.10513.pdf☆10Updated 2 years ago