IoTBench / IoTBench-test-suite

Related projects ⓘ

Alternatives and complementary repositories for IoTBench-test-suite

• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆83Updated 5 years ago
• Henrygwb / deepvsa
  ☆44Updated 2 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆75Updated 2 years ago
• turned2670 / DLFuzz
  DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems
  ☆51Updated 6 years ago
• nsslabcuus / Recent-IoT-Security-Paper
  2019 and 2020 Top Conference Paper
  ☆13Updated 3 years ago
• HexHive / pubstats
  ☆27Updated 2 months ago
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆14Updated 3 months ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆27Updated last year
• shensq04 / EKLAVYA
  ☆56Updated 3 years ago
• stan6 / se-paper
  ☆74Updated last year
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 4 months ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆16Updated 3 years ago
• RiS3-Lab / kubo
  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
• purseclab / PGFuzz
  Policy-Guided Fuzzing for Robotic Vehicles
  ☆33Updated last year
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 2 years ago
• embedded-sec / BenchIoT
  Security benchmarks for the Internet of Things
  ☆23Updated 4 years ago
• anlalalu / Q-testing
  ☆22Updated 3 years ago
• zhanglikernel / CRYPTOREX
  Large-scale Analysis of Cryptographic Misuse in IoT Devices
  ☆21Updated 5 years ago
• arichardson / juliet-test-suite-c
  ☆75Updated last year
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆87Updated 6 years ago
• surrealyz / pdfclassifier
  On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542
  ☆29Updated 2 years ago
• nimrodpar / esh-dataset-1523
  The dataset used in the experiments for Esh (http://binsim.com)
  ☆20Updated 8 years ago
• ZJU-SEC / Readings
  ☆58Updated 2 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• RiS3-Lab / FICS
  ☆50Updated 3 years ago
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆107Updated last year
• taptipalit / dynpta
  ☆15Updated 3 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆72Updated last week
• eth-sri / learch
  ☆39Updated last year
• jderuiter / statelearner
  A tool that can be used to learn state machines from implementations.
  ☆63Updated 3 years ago