Università Roma Tre

The course of Algorithms in cryptography is devoted to the study of encryption systems and their properties. In particular, we will study methods and algorithms developed to verify security level of cryptosystems, both from the point of view of formal verification (in the context of protocols) and from the point of view of cryptanalysis. Required as prerequisites are a basic level of computer knowledge of a Unix-like operating system (eg Linux) and programming in C or Java.