SAT Algorithms and Their Application in Cryptanalysis

Want to visit   +49

Author: Alexander Semenov

The report is about applying SAT algorithms to cryptanalysis tasks. The speaker will cover the algorithms and techniques that form the basis of modern SAT solvers. The usage of SAT solvers for inversion of cryptographic functions will be demonstrated in the context of solving an A5/1 key stream generator cryptanalysis task, as well as tasks on detecting collisions of MD-family hash functions.

  • Language
  • Russian

Alexander Semenov is Candidate of Engineering Sciences, Docent, Chief of Discrete Analysis and Applied Logic Laboratory at Institute of System Dynamics and Control Theory SB RAS, Irkutsk. Key scientific interests – computational complexity of algorithms, cryptography, cryptanalysis, parallel computation, algorithms for solving SAT.

Alexander Semenov Alexander Semenov

Back to the list