Beerkay / IoTResearchLinks
IoT Reading List (IoT research papers from 2016 to 2019)
☆85Updated 6 years ago
Alternatives and similar repositories for IoTResearch
Users that are interested in IoTResearch are comparing it to the libraries listed below
Sorting:
- A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps☆66Updated 5 years ago
- 2019 and 2020 Top Conference Paper☆13Updated 4 years ago
- ☆44Updated 2 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆76Updated 3 years ago
- Large-scale Analysis of Cryptographic Misuse in IoT Devices☆22Updated 5 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- DiAne is a smart fuzzer for IoT devices☆39Updated last year
- Security benchmarks for the Internet of Things☆22Updated 4 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆15Updated 4 years ago
- ☆61Updated 2 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆33Updated 4 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆43Updated 5 years ago
- ☆46Updated 3 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- ☆19Updated 6 years ago
- ☆65Updated 6 years ago
- Project FlowCog (2017)☆27Updated 6 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 5 years ago
- ☆58Updated 3 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆44Updated 5 years ago
- ☆14Updated 4 years ago
- Home page for this github organization☆22Updated 6 years ago
- ☆66Updated 4 years ago
- ☆31Updated last month
- K-Miner☆75Updated 6 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
- ☆54Updated 6 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- source code for savior fuzzer☆127Updated 4 years ago
- Recent security papers on firmware analysis☆76Updated 3 years ago