Sign in

An efficient SAT-based algorithm for finding short cycles in cryptographic algorithms.

Elena DubrovaMaxim Teslenko
Published in: HOST (2018)
Keyphrases
  • recognition algorithm
  • cryptographic algorithms
  • image processing