The Mechanical Cryptographer (Tolerant Algebraic Side-Channel Attacks using pseudo-Boolean Solvers) 1.
Chapter 2 Mathematical Foundations Cryptography-Application and Practice Harbin Institute of Technology School of Computer Science and Technology Zhijun.
Chap. 4: Finite Fields
Yossi Oren Technion Crypto Day, July 2012