TUDelft-CS4110 / syllabus

Related projects: ⓘ

• praseodym / learning-fuzzing
  Code from MSc thesis on combining learning and fuzzing
  ☆15Updated 6 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆20Updated 7 years ago
• axt / bingraphvis
  ☆38Updated 2 years ago
• strongcourage / ML4Sec-papers
  Research papers on ML for security
  ☆33Updated 4 years ago
• isstac / diffuzz
  ☆36Updated 5 years ago
• jderuiter / statelearner
  A tool that can be used to learn state machines from implementations.
  ☆60Updated 3 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆42Updated 4 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆42Updated 2 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆37Updated 5 years ago
• VulnReproduction / VulnReproduction.github.io
  Home page for this github organization
  ☆22Updated 6 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆34Updated this week
• SVL-PSU / crete-dev
  CRETE under development
  ☆58Updated 4 years ago
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆94Updated 8 months ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆88Updated last year
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 5 years ago
• gbossert / pylstar
  An implementation of the LSTAR Grammatical Inference Algorithm
  ☆49Updated 6 months ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• kaled-alshmrany / FuSeBMC
  FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…
  ☆44Updated 5 months ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 6 years ago
• mxz297 / Incremental-CFG-Patching-ASPLOS21-AE
  Software artifact for incremental CFG patching paper appearing in ASPLOS 21
  ☆12Updated last year
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆26Updated 6 years ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆24Updated 9 years ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆34Updated 6 years ago
• ericpony / z3py-tutorial
  ☆141Updated last year
• csienslab / instrim
  InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
  ☆83Updated 4 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆55Updated 5 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆27Updated last year
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago