CryptoSMT
From MaRDI portal
Cited in
(11)- Troika: a ternary cryptographic hash function
- STR2
- LEA
- YAARX
- A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
- SAND
- CryptDances
- 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
- ForkAE
- Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
This page was built for software: CryptoSMT
