Zejun Xiang's repositories
MILP_Division_Property
Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers
Optimizing_Implementations_of_Linear_Layers
A new heuristic to optimize implementations of linear matrices
binary_matrix
Calculate Rank, determinant and inverse matrix of a binary matrix (matrix on $F_2$).