Popular repositories Loading

1. cryptosmt cryptosmt Public

   Forked from kste/cryptosmt

   An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

   Python 7 1

2. sparx-differential-attacks sparx-differential-attacks Public

   Git repository for the paper Differential Cryptanalysis of Round-Reduced Sparx-64/128

   C++ 6 3

3. caesar_benchmarks_secondround caesar_benchmarks_secondround Public

   C 4 3

4. yaarx yaarx Public

   Forked from vesselinux/yaarx

   Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms

   C 1

5. neurosat neurosat Public

   Forked from dselsam/neurosat

   NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

   Python 1

6. gittrainingslides gittrainingslides Public