Pinned Loading

1. isec-tugraz/AutoDiVer isec-tugraz/AutoDiVer Public

   Automatic Verification of Differential Characteristics

   Python 6

2. sat_toolkit sat_toolkit Public

   Cython

3. dotfiles dotfiles Public

   Python 3

4. aeskeyschedule aeskeyschedule Public

   Calculate the AES-128 key schedule given any round key

   Python 50 8

5. isec-tugraz/romulush_collisions isec-tugraz/romulush_collisions Public

   Code for the paper "Finding Collisions for Round-Reduced Romulus-H"

   Linear Programming 3

6. isec-tugraz/ascon-rpp-preimages isec-tugraz/ascon-rpp-preimages Public

   Random-Prefix Preimages for Reduced Ascon-Hash

   Python 1