Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
I sem. dal Oct 1, 2014 al Jan 30, 2015.
The course aims at providing the basic elements and computational tools for data encryption, use of cryptography for secure communication, and implementation of cryptographic primitives. Emphasis is given on the structure of the main cryptographic algorithms and protocols, on the definition of the underlying problems, and on the formal tools for analysis of correctness.
Symmetric key cryptography (DES, AES), CBC, public key cryptography (Diffie-Hellman, RSA, BBS, El Gamal), provable security and provably secure cryptosystems, one-way trapdoor functions, pseudo-random bit and function generators, digital signatures (RSA), collision-free hash functions (MD5, SHA1), bit commitment, verifiable secret sharing, Zero-Knowledge, message authentication, agent authentication, formal models for specification and analysis (computational, games, Dolev-Yao).
The exam is an oral colloquium on the topics of the program.