@misc{13228,
  keywords = {binary decision diagram, block cipher, algebraic attack, symmetric primitives},
  author = {H{\r a}vard Raddum and Oleksandr Kazymyrov},
  title = {Algebraic Attacks Using Binary Decision Diagrams},
  abstract = {Algebraic attacks have been developed against symmetric primitives during the last decade. In this paper we represent equation systems using binary decision diagrams, and explain techniques for solving them. Next, we do experiments with systems describing reduced versions of DES and AES, as well as systems for the problem of determining EA-equivalence. We compare our results against Gröbner basis and CryptoMiniSat.},
  year = {2015},
  journal = {BalkanCryptSec 2014},
  volume = {9024},
  pages = {40 - 54},
  month = {07/2015},
  publisher = {Lecture Notes in Computer Science, Springer.Verlag},
  issn = {0302-9743},
  isbn = {978-3-319-21356-9},
  url = {http://link.springer.com/chapter/10.1007/978-3-319-21356-9_4},
  doi = {10.1007/978-3-319-21356-9_4},
}