Pinned Repositories
AES_32_bits
Implementation of AES with the 32 bits optimization
Lagrange
Cryptanalysis on differents algorithms with z3 solver sat
Brissouille's Repositories
Brissouille/Lagrange
Cryptanalysis on differents algorithms with z3 solver sat
Brissouille/AES_32_bits
Implementation of AES with the 32 bits optimization