Using MaxSAT to Correct Errors in AES Key Schedule Images.

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

Browse the full ICTAI paper archive.