Pinned

1. CASCADA CASCADA Public

   A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.

   Python 26 7

2. BoolCrypt BoolCrypt Public

   Python library for vectorial Boolean functions in cryptography

   Python 9 5

3. whiteboxarx whiteboxarx Public

   Implicit White-box Implementations of ARX Ciphers

   Python 13 2

4. QiPy QiPy Public

   A Python library to work with elements, ideals, ideal classes and class groups from quadratic integer rings.

   Python 5 2

5. ccepy ccepy Public

   Criptografía con Curvas Elípticas con Python

   Python 7

6. Simple-Latex-Templates Simple-Latex-Templates Public

   Some simple templates for latex

   TeX 1