mrdrivingduck / paper-outline

Related projects ⓘ

Alternatives and complementary repositories for paper-outline

• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆94Updated last year
• ZJU-SEC / Readings
  ☆58Updated 2 years ago
• PSU-Security-Universe / sqlright
  Coveraged-based fuzzer for finding DBMS logical bugs
  ☆48Updated 2 years ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆49Updated last year
• xiongyingfei / xiongyingfei.github.io
  ☆75Updated this week
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆34Updated 4 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆75Updated 2 years ago
• s3team / Squirrel
  ☆185Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆71Updated 2 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• qzhang-ucr / BigFuzz
  ☆12Updated last year
• ZJU-SEC / AbstractResourceAttack
  This repository is used to analysis the shared resources of different containers
  ☆28Updated 2 weeks ago
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆20Updated 2 years ago
• whichbug / SVF-UAF
  A use-after-free checker based on SVF.
  ☆20Updated 6 years ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆43Updated 5 years ago
• wcventure / PERIOD
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆29Updated 2 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated last year
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• umnsec / typm
  ☆33Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆85Updated 7 months ago
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆107Updated last year
• ssl-tud / k-miner
  K-Miner
  ☆72Updated 5 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆11Updated 2 years ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated last year
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆30Updated 5 years ago
• wcventure / MemLock-Fuzz
  [ICSE2020] MemLock: Memory Usage Guided Fuzzing
  ☆68Updated 2 years ago
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆35Updated 3 months ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago