Cryptography (2013/2014)

Course code
4S02797
Name of lecturer
Roberto Segala
Coordinator
Roberto Segala
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
I semestre dal Oct 1, 2013 al Jan 31, 2014.

Lesson timetable

I semestre
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall I  
Tuesday 3:30 PM - 4:30 PM lesson Lecture Hall C  
Tuesday 4:30 PM - 6:30 PM lesson Lecture Hall C  

Learning outcomes

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.

Syllabus

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).

Assessment methods and criteria

The exam is an oral colloquium on the topics of the program.