Alternatives and similar repositories for SANDP

Users that are interested in SANDP are comparing it to the libraries listed below

• turned2670 / DLFuzz
  DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems
  ☆52Updated 7 years ago
• Qi-Pang / MPCDiff
  This repository contains the evaluation code for the NDSS 2024 paper: MPCDIFF: Testing and Repairing MPC-Hardened Deep Learning Models.
  ☆15Updated last year
• ISLOUC / Conferences-And-Journals
  CCF推荐列表的会议征稿信息（计算机系统相关）；SCI I区、II区期刊（系统与安全相关）
  ☆30Updated 6 years ago
• HexHive / pubstats
  ☆32Updated 4 months ago
• stan6 / se-paper
  ☆74Updated 2 years ago
• zongpy / FuzzGuard
  The released code of FuzzGuard in USENIX Security 2020.
  ☆31Updated 5 years ago
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 6 years ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆24Updated 4 months ago
• linchangting / PaperList
  ☆19Updated 6 years ago
• NWU-NISL-Fuzzing / COMFORT
  ☆68Updated 3 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆77Updated 3 years ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• Henrygwb / deepvsa
  ☆44Updated 3 years ago
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆31Updated 5 years ago
• monkbai / DeepCache
  Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables
  ☆11Updated last year
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆29Updated 2 years ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Updated 5 years ago
• kupl / adapt
  ADAPT is the open source white-box testing framework for deep neural networks
  ☆22Updated 2 years ago
• xiaojunxu / dnn-binary-code-similarity
  ☆138Updated 7 years ago
• qian-feng / Gencoding
  The scalable bug search for binaries
  ☆69Updated 8 years ago
• ZJUNESA / SANDP
  Seminar 2022
  ☆21Updated last month
• lvtao-sec / Advance
  RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection
  ☆16Updated 3 years ago
• MoonLight-SteinsGate / EcoFuzz
  EcoFuzz-An adaptive energy-saving greybox fuzzer
  ☆53Updated 5 years ago
• ZhangZhuoSJTU / CRAJobHarvester
  AI-powered web scraper for harvesting and analyzing Computing Research Association job listings.
  ☆19Updated 11 months ago
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆16Updated 4 years ago
• RiS3-Lab / FICS
  ☆50Updated 4 years ago
• eth-sri / learch
  ☆41Updated 2 years ago
• ForeverZyh / DEBAR
  This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…
  ☆26Updated 4 years ago
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆110Updated last year
• Yuanyuan-Yuan / CipherSteal
  ☆12Updated 11 months ago