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

A.A. 2026/2027 A.A. 2025/2026

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
12
B
IINF-05/A
12
B
IINF-05/A
Four modules among the following
6
B
IINF-05/A
6
B
IINF-05/A
6
B
IINF-05/A
6
B
IINF-05/A
6
B
IINF-05/A
6
B
IINF-05/A

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

ModulesCreditsTAFSSD
Final exam
24
E
-
It will be activated in the A.Y. 2027/2028
ModulesCreditsTAFSSD
Final exam
24
E
-
Modules Credits TAF SSD
Between the years: 1°- 2°
Two modules among the following
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
6
B
INFO-01/A
Between the years: 1°- 2°
Three modules among the following
- A.A. 2026/2027 Automated software verification not delivered
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
ECON-08/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
6
C
INFO-01/A
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°
12
D
-

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.

A Basic activities
B Characterizing activities
C Related or complementary activities
D Activities to be chosen by the student
E Final examination
F Other training activities
S Placements in companies, public or private institutions and professional associations

Software Security (2026/2027)

Teaching code

4S011694

Credits

6

Coordinator

Mila Dalla Preda

Language

Italian

Scientific Disciplinary Sector (SSD)

IINF-05/A - Information Processing Systems

Courses Single

Authorized

Seminars 0

The teaching is organized as follows:

Teoria

Credits

5

Period

I semestre

Academic staff

Mila Dalla Preda

Lessons timetable
Laboratorio

Credits

1

Period

I semestre

Academic staff

Mila Dalla Preda

Lessons timetable

Learning objectives

The course aims at providing knowledge on the main problems related to software security, currently available solutions, and open problems. In particular, we will consider both security issues related to the protection of the intellectual property and the integrity of the code, and those security issues related to the protection of sensitive information. At the end of the course the student must demonstrate that he has acquired the necessary knowledge to define techniques for the protection of the intellectual property of the code and its integrity, evaluating the trade-off between safety and cost of the proposed technique and providing a critical analysis of the potentials attacks. This knowledge will allow the student to: i) evaluate the resistance of code protection techniques with respect to potential attack scenarios; ii) assess the security of a system in protecting sensitive information. At the end of the course the student will be able to: i) compare and choose from among the different existing software protection techniques those that best meet the specific needs of a system; ii) autonomously continue the study (also in the field of research) of code protection and system security.

Prerequisites and basic notions

Knowledge of programming and software engineering.

Program

The course will develop the following topics:
Software Security
* Secure Systems
* Access Control and Authentication
* Software Vulnerabilities
* Software Security Lab
** background on assembly x86 and ELF
** tools for binary analysis: gdb, ghidra
** reverse engineering and patching of binaries
** buffer overflow attacks
** stack canaries, format string vulnerabilities
Software Protection
* Obfuscation Techniques
* Watermarking Techniques
* Tamper-Proofing Techniques
* Similarity Analysis: Known Algorithms and Applications
* Code Attribution

Bibliography

Vai alla bibliografia
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, seminars and laboratory activities

Learning assessment procedures

Oral + Project
- Project: Realization of a project / in-depth analysis on software security issues and protection of software intellectual property. The project / study can be done in a group of up to 3 people. During the course, possible themes for the project / study will be presented. The theme of the project / study can also be proposed to the teacher by the students. The results of the project / study will be organized in a written report and then presented orally to the teacher.

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 project aims to verify the ability to deepen (researching material in a critical way) and autonomously rework the concepts presented during the course.

Criteria for the composition of the final grade

The teacher evaluates the written paper, the presentation and the oral discussion of the project and proposes a grade out of thirtieths.

Exam language

Italiano