Popular repositories Loading

1. yaarx yaarx Public

   Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms

   C 31 17

2. symaes symaes Public

   A Fully Symbolic Polynomial System Generator for the Block Cipher AES-128

   Python 4

3. lextool lextool Public

   A Tool for Algebraic Analysis of Stream Cipher LEX

   Python 1

4. oclib oclib Public

   An Implementation of Online Codes

   C 1

5. bellperson bellperson Public

   Forked from filecoin-project/bellperson

   zk-SNARK library

   Rust