• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

SAT-Aided Differential Cryptanalysis of Lightweight Block Ciphers Midori, MANTIS and QARMA.

Yaxin CuiHong XuLin TanWenfeng Qi
Published in: ICICS (2023)
Keyphrases
  • block cipher
  • lightweight
  • satisfiability problem
  • sat solvers
  • development environments
  • wireless sensor networks
  • hash functions
  • low cost
  • handheld devices