[math-fun] AES cryptosystem contenders... a look back