invernizzi / ChrisperLinks
Detect common mistakes in academic papers
☆61Updated 6 years ago
Alternatives and similar repositories for Chrisper
Users that are interested in Chrisper are comparing it to the libraries listed below
Sorting:
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 8 years ago
- KLEE in the browser☆52Updated this week
- Differential fuzzing for the masses!☆152Updated 7 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆259Updated last week
- A tool to perform (higher-order) correlation power analysis attacks (CPA).☆162Updated 3 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- ☆147Updated last year
- Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.☆69Updated 4 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆256Updated 2 months ago
- Mignis is a semantic based tool for firewall configuration.☆42Updated 6 years ago
- ☆131Updated 5 years ago
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago
- ☆43Updated 3 years ago
- Dynamic security analysis of embedded systems’ firmwares☆81Updated 8 years ago
- gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.☆257Updated 4 years ago
- ☆160Updated 3 years ago
- A set of templates for different academic venues.☆28Updated 5 years ago
- FairFuzz: AFL extension targeting rare branches☆247Updated 6 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆492Updated 9 months ago
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆61Updated 7 years ago
- SCALE: Side-Channel Attack Lab. Exercises☆42Updated last year
- BAP Plugins Repository☆57Updated 4 years ago
- Path based Dynamic Analysis☆117Updated 8 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆94Updated 7 years ago
- ☆250Updated 5 years ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆336Updated 3 years ago
- An abstraction layer for constraint solvers.☆313Updated this week
- This repository contains several examples of logic bomb.☆104Updated last year