This course will provide a rigorous introduction to cryptographic tools and
definitions.