Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images

Abdel Alim Kamal, Amr M. Youssef. Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images. In Reijo Savola, Masaru Takesue, Rainer Falk, Manuela Popescu, editors, Fourth International Conference on Emerging Security Information Systems and Technologies, SECURWARE 2010, Venice, Italy, July 18-25, 2010. pages 216-220, IEEE Computer Society, 2010. [doi]

@inproceedings{KamalY10-0,
  title = {Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images},
  author = {Abdel Alim Kamal and Amr M. Youssef},
  year = {2010},
  doi = {10.1109/SECURWARE.2010.42},
  url = {http://doi.ieeecomputersociety.org/10.1109/SECURWARE.2010.42},
  researchr = {https://researchr.org/publication/KamalY10-0},
  cites = {0},
  citedby = {0},
  pages = {216-220},
  booktitle = {Fourth International Conference on Emerging Security Information Systems and Technologies, SECURWARE 2010, Venice, Italy, July 18-25, 2010},
  editor = {Reijo Savola and Masaru Takesue and Rainer Falk and Manuela Popescu},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4095-5},
}