Using MaxSAT to Correct Errors in AES Key Schedule Images | IEEE Conference Publication | IEEE Xplore