Informatics Engineering MSc, in Cryptography and Formal Methods