SMT Solver-Based Cryptanalysis of Block Ciphers.

Harish Kumar Sahu N. Rajesh Pillai Indivar Gupta Rajendra Kumar Sharma

Published in: SN Comput. Sci. (2020)

Keyphrases

block cipher
s box
hash functions
secret key
lightweight
statistical machine translation
application layer
database systems
data structure
cost effective
efficient implementation
security protocols