Using MaxSAT to Correct Errors in AES Key Schedule Images

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.