Changochen / TrinityCTF

Related projects: ⓘ

• xiongyingfei / xiongyingfei.github.io
  ☆74Updated last week
• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆44Updated last year
• ZJU-SEC / Readings
  ☆58Updated 2 years ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• OSUSecLab / SelectiveTaint
  ☆70Updated 3 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆89Updated last year
• ISLOUC / Conferences-And-Journals
  CCF推荐列表的会议征稿信息（计算机系统相关）；SCI I区、II区期刊（系统与安全相关）
  ☆28Updated 5 years ago
• fouzhe / Polar-Fuzz
  Polar : Function Code Aware Fuzz Testing of ICS Protocol
  ☆29Updated 3 years ago
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆76Updated 5 months ago
• hsupu / ucas-hwk-pointer-analysis
  程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析
  ☆37Updated 6 years ago
• zjuchenyuan / dockerized_fuzzing
  Run fuzzing experiments in Docker
  ☆98Updated 3 years ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆42Updated 4 years ago
• axt / cfg-explorer
  CFG explorer for binaries
  ☆75Updated 7 months ago
• SCUBSRGroup / BinaryDatabase
  Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing
  ☆56Updated 5 years ago
• stan6 / se-paper
  ☆74Updated last year
• qzhang-ucr / BigFuzz
  ☆12Updated last year
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆106Updated 11 months ago
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆35Updated 5 years ago
• cxreet / razor
  ☆39Updated 3 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆26Updated 6 years ago
• wcventure / MemLock-Fuzz
  [ICSE2020] MemLock: Memory Usage Guided Fuzzing
  ☆68Updated 2 years ago
• sslab-gatech / hydra
  Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
  ☆156Updated 2 years ago
• linchangting / PaperList
  ☆19Updated 5 years ago
• Shouling / SANDP
  Seminar 2016
  ☆25Updated last month
• zhunki / skyfire
  ☆50Updated 5 years ago
• LyleMi / aflnw
  AFLNW: network wrapper for AFL
  ☆42Updated 6 months ago
• awen-li / PolyFuzz
  Holistic Greybox Fuzzing of Multi-Language Systems
  ☆22Updated last year
• timmyyuan / build-whole-program-into-LLVM-IR
  some notes for how to build projects into a single LLVM bitcode file.
  ☆18Updated 5 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• mrdrivingduck / paper-outline
  🔍 To record the papers I have read.
  ☆24Updated 3 years ago