Mathematics in Post-Quantum Cryptography - Kristin Lauter