Your next course will be:

Axiomatic First-Order Cryptography

made by Malvin Gattinger