Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

Study Plan

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.

CURRICULUM TIPO:

1° Year 

ModulesCreditsTAFSSD
Four modules to be chosen among the following
6
B
ING-INF/05
6
B
ING-INF/05

2° Year   It will be activated in the A.Y. 2026/2027

ModulesCreditsTAFSSD
Final exam
24
E
-
It will be activated in the A.Y. 2026/2027
ModulesCreditsTAFSSD
Final exam
24
E
-
Modules Credits TAF SSD
Between the years: 1°- 2°
Two modules to be chosen mong the following
- A.A. 2025/2026 Web applications not activated
- A.A. 2026/2027 Automated software verification not activated
6
B
INF/01
6
B
INF/01
6
B
INF/01
6
B
INF/01
Between the years: 1°- 2°
Three modules to be chosen among the following
- A.A. 2025/2026 Web applications not activated
- A.A. 2026/2027 Automated software verification not activated
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
Between the years: 1°- 2°
Further language skills (students who didn't take B2 ENG exam during bachelor's degree have to take it during master's degree. Who did take it during bachelor's can take: ENG (C1, C2), SPA (B1, B2, C1, C2), FRA (B1, B2, C1, C2), TED (B1, B2, C1, C2)
3
F
-
Between the years: 1°- 2°
Further activities
3
F
-
Between the years: 1°- 2°

Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.




S Placements in companies, public or private institutions and professional associations

Teaching code

4S02797

Coordinator

Roberto Segala

Credits

6

Also offered in courses:

  • Cryptography of the course Master's degree in Computer Science and Engineering

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

1st semester dal Oct 1, 2025 al Jan 30, 2026.

Courses Single

Authorized

Learning objectives

The course aims to provide the basic skills related to computational tools for data encryption, the use of such tools for the management of secure communications, and the problems associated with the implementation of cryptographic primitives. At the end of the course the student will have to demonstrate to know and understand the structure of the main algorithms and cryptographic protocols and the definitional aspects of the problems together with the formal tools for their analysis. This will allow the student to choose autonomously the most appropriate algorithms for the various situations and to understand the existing literature, and consequently to learn independently new proposals in cryptographic field.

Prerequisites and basic notions

Algorithms

Program

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.

Bibliography

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

Lectures

Learning assessment procedures

The exam consists of an oral interview on the topics of the program.

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Evaluation criteria

The evaluation scale is the following. 18-28 (pure notionistic knowledge), 22-24 (acceptable understanding of the arguments), 25-27 (ability to apply the concepts learned in the course), 28-30 (ability to elaborate autonomous ideas based on the concepts learned in the course).

Criteria for the composition of the final grade

See above

Exam language

Italiano