Security and Cryptology (2008/2009)

Course partially running

Course code
4S00060
Name of lecturer
Roberto Segala
Number of ECTS credits allocated
5
Other available courses
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
1° Q dal Oct 2, 2008 al Dec 19, 2008.

Lesson timetable

1° Q
Day Time Type Place Note
Tuesday 11:30 AM - 1:30 PM lesson Lecture Hall C  
Wednesday 8:30 AM - 10:30 AM lesson Lecture Hall C  
Thursday 2:30 PM - 4:30 PM lesson Lecture Hall B  

Learning outcomes

The course addresses the basi concepts for the study of the security of computer systems and computer transactions. Special emphasis is given to the definitional aspects of security, to cryptography, and to the elements that are necessary to understand the existing literature. At the end of the course the student is able to seek and evaluate autonomously solutions to security problems.

Syllabus

Elements of number theory: groups Zm and Zn*, cyclic groups, generators, discrete logarithm, quadratic residuosity, Legendre and Jacobi symbols.

Cryptography: history, symmetric encryption schemas (DES, IDEA, AES), public key cryptosystems (Diffie-Helman, RSA, Bloom-Goldwasser), provable secure encoding, coin flipping, coin flipping in the well, pseudo-random bit and function generation.

Protocols: digital signature, message authentication, bit committment, threshold schemas, non traceable communication, zero-knowledge, digital cash, digital elections, agent authentication, key distribution and certification.

Network security: attacks and defences, viruses, worms, firewalls.

The course consists of 40 hours of frontal lectures. The scientific level is high and most of the results are proven formally. The student is not required to understand all details, but rather to note the similarities between the ways different problems are addressed. This is the element that allows the student to understand the existing literature.

Assessment methods and criteria

There is an oral exam. The student is not required to know formal definitions nor proofs. However, the student should be able to comment formal definitions proposed by the examiner.