Pinned Repositories
ctf
Ctf solutions from p4 team
milp
minimorus-640
minimorus640_point_for_sage
SAT-based-methods-of-Sbox-qcirucuits
shorter_linear_slps_for_mds_matrices
SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'
Trivium
damash's Repositories
damash/ctf
Ctf solutions from p4 team
damash/milp
damash/minimorus-640
damash/minimorus640_point_for_sage
damash/SAT-based-methods-of-Sbox-qcirucuits
damash/shorter_linear_slps_for_mds_matrices
SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'
damash/Trivium