* Cryptography & Security
o mathematical primitives of public key cryptography
o specialized hardware
o formal security models and their limits
* Computer algebra
o systems of polynomial equations
o finitely generated field extensions
o factorizations of finite groups