Login / Signup

LoPher: SAT-Hardened Logic Embedding on Block Ciphers.

Akashdeep SahaSayandeep SahaSiddhartha ChowdhuryDebdeep MukhopadhyayBhargab B. Bhattacharya
Published in: DAC (2020)
Keyphrases
  • block cipher
  • s box
  • lightweight
  • logic programming
  • sat solvers
  • hash functions
  • secret key
  • satisfiability problem
  • automated reasoning
  • sat problem