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.

Academic calendar

The academic calendar shows the deadlines and scheduled events that are relevant to students, teaching and technical-administrative staff of the University. Public holidays and University closures are also indicated. The academic year normally begins on 1 October each year and ends on 30 September of the following year.

Academic calendar

Course calendar

The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..

Academic year:
Definition of lesson periods
Period From To
1° Q - 2° anno e successivi Sep 29, 2003 Nov 28, 2003
2° Q Jan 12, 2004 Mar 12, 2004
3° Q Apr 5, 2004 Jun 11, 2004
Degree sessions
Session From To
Extra term Dec 17, 2003 Dec 17, 2003
Winter term Mar 17, 2004 Mar 17, 2004
Summer term Jul 22, 2004 Jul 22, 2004
Autumn term Sep 22, 2004 Sep 22, 2004
Holidays
Period From To
All Saint's Day Nov 1, 2003 Nov 1, 2003
Christmas holidays Dec 22, 2003 Jan 6, 2004
Easter holidays Apr 8, 2004 Apr 13, 2004
Patron Saint's day festivity Apr 12, 2004 Apr 12, 2004
Labour Day May 1, 2004 May 1, 2004
Italian Republic Day festivity Jun 2, 2004 Jun 2, 2004
Summer holidays Jul 26, 2004 Aug 31, 2004

Exam calendar

Exam dates and rounds are managed by the relevant Science and Engineering Teaching and Student Services Unit.
To view all the exam sessions available, please use the Exam dashboard on ESSE3.
If you forgot your login details or have problems logging in, please contact the relevant IT HelpDesk, or check the login details recovery web page.

Exam calendar

Should you have any doubts or questions, please check the Enrolment FAQs

Academic staff

A B C D F G M P S V

Acquaviva Andrea

symbol email andrea.acquaviva@univr.it symbol phone-number +39 045 802 7059

Bellin Gianluigi

symbol email gianluigi.bellin@univr.it symbol phone-number +39 045 802 7969

Bonacina Maria Paola

symbol email mariapaola.bonacina@univr.it symbol phone-number +39 045 802 7046

Combi Carlo

symbol email carlo.combi@univr.it symbol phone-number 045 802 7985

Cristani Matteo

symbol email matteo.cristani@univr.it symbol phone-number 045 802 7983

Di Pierro Alessandra

symbol email alessandra.dipierro@univr.it symbol phone-number +39 045 802 7971

Fummi Franco

symbol email franco.fummi@univr.it symbol phone-number 045 802 7994

Giacobazzi Roberto

symbol email roberto.giacobazzi@univr.it symbol phone-number +39 045 802 7995

Gregorio Enrico

symbol email Enrico.Gregorio@univr.it symbol phone-number 045 802 7937

Manca Vincenzo

symbol email vincenzo.manca@univr.it symbol phone-number 045 802 7981

Masini Andrea

symbol email andrea.masini@univr.it symbol phone-number 045 802 7922

Mastroeni Isabella

symbol email isabella.mastroeni@univr.it symbol phone-number +39 045 802 7089

Merro Massimo

symbol email massimo.merro@univr.it symbol phone-number 045 802 7992

Monti Francesca

symbol email francesca.monti@univr.it symbol phone-number 045 802 7910

Morato Laura Maria

symbol email laura.morato@univr.it symbol phone-number 045 802 7904

Posenato Roberto

symbol email roberto.posenato@univr.it symbol phone-number +39 045 802 7967

Pravadelli Graziano

symbol email graziano.pravadelli@univr.it symbol phone-number +39 045 802 7081

Segala Roberto

symbol email roberto.segala@univr.it symbol phone-number 045 802 7997

Solitro Ugo

symbol email ugo.solitro@univr.it symbol phone-number +39 045 802 7977
Marco Squassina,  January 5, 2014

Squassina Marco

symbol email marco.squassina@univr.it symbol phone-number +39 045 802 7913

Vigano' Luca

symbol email luca.vigano@univr.it

Villa Tiziano

symbol email tiziano.villa@univr.it symbol phone-number +39 045 802 7034

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 enrolment year.

ModulesCreditsTAFSSD
ModulesCreditsTAFSSD
ModulesCreditsTAFSSD
ModulesCreditsTAFSSD
3 related courses (mathematical and physical sectors) to be chosen, for a total of 15 credits (Logic II is not running in the academic year 2003/2004)
ModulesCreditsTAFSSD
Computer science workshop
10
E
-
Other educational activities (work experience, etc....)
6
F
-
Final test
24
E
-

1° Year

ModulesCreditsTAFSSD

2° Year

ModulesCreditsTAFSSD

3° Year

ModulesCreditsTAFSSD

4° Year

ModulesCreditsTAFSSD
3 related courses (mathematical and physical sectors) to be chosen, for a total of 15 credits (Logic II is not running in the academic year 2003/2004)

5° Year

ModulesCreditsTAFSSD
Computer science workshop
10
E
-
Other educational activities (work experience, etc....)
6
F
-
Final test
24
E
-
Modules Credits TAF SSD

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

4S00060

Credits

5

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

1° Q dal Oct 3, 2007 al Dec 4, 2007.

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.

Program

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.

Examination Methods

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.

???AdattamentoProvaEsameDSA???

Type D and Type F activities

Academic year:

Modules not yet included

Career prospects


Module/Programme news

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details.

Further services

I servizi e le attività di orientamento sono pensati per fornire alle future matricole gli strumenti e le informazioni che consentano loro di compiere una scelta consapevole del corso di studi universitario.