Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa. Using MaxSAT to Correct Errors in AES Key Schedule Images. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 284-291, IEEE, 2013. [doi]
Abstract is missing.