CryptoSMT
From MaRDI portal
Cited in
(11)- Improvement on the method for automatic differential analysis and its application to two lightweight block ciphers DESL and LBlock-s
- Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
- SAND: an AND-RX Feistel lightweight block cipher supporting S-box-based security evaluations
- A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
- Troika: a ternary cryptographic hash function
- STR2
- YAARX
- LEA
- ForkAE
- SAND
- CryptDances
This page was built for software: CryptoSMT
