Alternatives and similar repositories for UNSA-CS:

Users that are interested in UNSA-CS are comparing it to the libraries listed below

• WanDerer23333 / calculator-compiler
  编译原理课程作业-- 计算器， 内含表达式的计算（中缀转后缀）
  ☆8Updated 5 years ago
• kandluis / cs155-projects
  CS155: Network and Web Security Projects
  ☆13Updated 2 years ago
• parasol-aser / XRust
  ☆12Updated 4 years ago
• yanzuochen / obsan
  OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables
  ☆17Updated last year
• hasanmdme / decap
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Updated 2 years ago
• isec-tugraz / Jenny
  ☆12Updated 3 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.
  ☆14Updated last year
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆23Updated 2 years ago
• taptipalit / dynpta
  ☆14Updated 3 years ago
• mit-ll / HAKC
  ☆35Updated 3 years ago
• nagnagnet / PrimeProbe
  ☆18Updated 6 years ago
• Sen-Deng / CipherH
  CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations
  ☆13Updated last year
• StanPlatinum / Deflection
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆46Updated last month
• yaoyue123 / WHU_SummerTraining
  18级武汉大学国家网络安全学院暑期实训备份
  ☆11Updated 5 years ago
• monkbai / ir_lifting_data
  Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"
  ☆30Updated 2 years ago
• UzL-ITS / tdxdown
  Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"
  ☆13Updated 4 months ago
• arichardson / juliet-test-suite-c
  ☆80Updated last week
• for-just-we / CppCodeAnalyzer
  A tool based on python to parse C/C++ code into code property graph
  ☆14Updated 2 years ago
• 5hadowblad3 / Titan
  Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
  ☆48Updated this week
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated 10 months ago
• PSU-Security-Universe / sqlright
  Coveraged-based fuzzer for finding DBMS logical bugs
  ☆51Updated 2 years ago
• eth-sri / learch
  ☆40Updated last year
• Miro-H / CacheSC
  Library for Prime+Probe cache side-channel attacks on L1 and L2
  ☆30Updated 4 years ago
• waugustus / CarpetFuzz
  An NLP-based fuzzing assitance tool for generating valid option combinations.
  ☆42Updated 11 months ago
• cuhk-seclab / SelectFuzz
  ☆68Updated 7 months ago
• tyukiand / asm2cfg
  Extracts and visualizes control flow graphs for assembly code.
  ☆13Updated 5 years ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 4 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• mmcloughlin / hellollvm
  Basic LLVM passes
  ☆17Updated 6 years ago
• Ljiee / fairfuzz
  ☆14Updated 7 years ago