CryptoSMT

swMATH26676MaRDI QIDQ38405FDOQ38405

Author name not available (Why is that?)

Source code repository: https://github.com/kste/cryptosmt

Cited In (5)

• Troika: a ternary cryptographic hash function
• A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
• 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
• Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK

This page was built for software: CryptoSMT