jaybosamiya / automatic-differentiation
Find first derivatives of functions automagically
☆10Updated 7 years ago
Alternatives and similar repositories for automatic-differentiation:
Users that are interested in automatic-differentiation are comparing it to the libraries listed below
- Fuzzing framework written in OCaml☆31Updated 8 years ago
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- A collection of useful functions to write an exploit in OCaml☆16Updated 10 years ago
- Experiments in trying to find 0-days in numpy☆39Updated 7 years ago
- CryptoGuy is a tool usefull to find out various decryptions of a string☆25Updated 9 years ago
- Program Analysis for LLVM☆36Updated 7 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- VTable Hijacking Protection for Binaries☆11Updated 7 years ago
- A library for disassembling x86-64 binaries.☆37Updated last year
- A(nother) Binary Analysis Framework☆30Updated 10 years ago
- libtalloc is a python script for use with GDB that can be used to analyse the "trivial allocator" (talloc)☆15Updated 9 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- Old Repo. See https://github.com/jaybosamiya/matasano-crypto instead☆16Updated 9 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 7 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Updated 9 years ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆84Updated last year
- Toy binaries to play with -fsanitize=safe-stack/cfi☆9Updated 9 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- Generation of mutant programs☆21Updated 6 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Updated 9 years ago
- ☆11Updated 7 years ago
- A GCC plugin implementing various stack canaries.☆14Updated 12 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- The BAP tutorial☆72Updated 2 years ago
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Updated 11 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆8Updated 9 years ago
- Post-CTF writeups☆12Updated 8 years ago
- Code samples used for the blog post☆23Updated 8 years ago
- C Bindings to BAP☆15Updated 2 years ago
- REIL translation library☆36Updated 8 years ago