Using MaxSAT to correct errors in AES key schedule images

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

抜粋

Cold boot attack is a side channel attack that recovers data from memory, which persists for a short period after power is lost. In the course of this attack, the memory gradually degrades over time and only a corrupted version of the data may be available to the attacker. Recently, great efforts havebeen devoted to reconstructing the original data from a corrupted version of AES key schedules, based on the assumption that all bits in the charged states tend to decay to the ground states while no bit in the ground state ever inverts. However, in practice, there is a small number of bits flipping in the opposite direction, called reverse flipping errors. In this paper, motivated by the latest work that formulates the relations of AES key bits as a BooleanSatisfiability problem, we move one step further by taking the reverse flipping errors into consideration and employing an off-the-shelf MaxSAT solver to accomplish the key recovery of AES-128 key schedules from decayed memory images. Specifically, a MaxSAT solver takes the relations of key bits as hard constraints and the bits in the charged states as soft constraints, then it tries to satisfy all the hard constraints and as many soft constraints as possible by eliminating the unsatisfied minority. Experimental results show that, in the presence of reverse flipping errors, the MaxSAT approach enables reliable recovery of key schedules with significantly less time, compared with the SAT approach that relies on brute force search to find out the target errors.

元の言語英語
ホスト出版物のタイトルProceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
ページ284-291
ページ数8
DOI
出版物ステータス出版済み - 12 1 2013
イベント25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013 - Washington, DC, 米国
継続期間: 11 4 201311 6 2013

出版物シリーズ

名前Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
ISSN(印刷物)1082-3409

その他

その他25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013
米国
Washington, DC
期間11/4/1311/6/13

All Science Journal Classification (ASJC) codes

  • Software
  • Artificial Intelligence
  • Computer Science Applications

フィンガープリント Using MaxSAT to correct errors in AES key schedule images' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Liao, X., Zhang, H., Koshimura, M., Fujita, H., & Hasegawa, R. (2013). Using MaxSAT to correct errors in AES key schedule images. : Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013 (pp. 284-291). [6735262] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI). https://doi.org/10.1109/ICTAI.2013.51