Popular repositories Loading

1. macke macke Public

   Modular And Compositional analysis with KLEE Engine

   Python 119 19

2. obfuscation-benchmarks obfuscation-benchmarks Public

   A set of programs used for benchmarking the strength of obfuscation

   C 99 23

3. indistinguishability-obfuscation indistinguishability-obfuscation Public

   Implementation of indistinguishability obfuscation constructions from scientific literature

   Python 47 8

4. vot4cs vot4cs Public

   A Virtualization Obfuscation Tool for C# programs

   C# 39 12

5. munch munch Public

   Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs

   Makefile 38 9

6. attack-graph-generator attack-graph-generator Public

   Python 34 11