Computation with finite fields and Aes theory (SK)