Popular repositories Loading

1. MAIAN MAIAN Public

   MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

   Python 567 160

2. OHIE OHIE Public

   OHIE - Blockchain scaling

   C++ 34 14

3. SivoFuzzer SivoFuzzer Public

   Grey-box fuzzer SIVO

   C++ 13 4

4. metaheuristics metaheuristics Public

   Applications of metaheuristics(simulated annealing and genetic algorithms) to design of symmetric-key primitives

   Python 2

5. fuzzing_at_scale fuzzing_at_scale Public

   C++ 1 1

6. model_provenance_testing model_provenance_testing Public

   Model provenance testing of LLMs

   Python