CryptoSMT
From MaRDI portal
Software:38405
No author found.
Source code repository: https://github.com/kste/cryptosmt
Related Items (5)
A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis ⋮ Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK ⋮ Troika: a ternary cryptographic hash function ⋮ Improvement on the method for automatic differential analysis and its application to two lightweight block ciphers DESL and LBlock-s ⋮ SAND: an AND-RX Feistel lightweight block cipher supporting S-box-based security evaluations
This page was built for software: CryptoSMT
