Carlo BLUNDO | PROTOCOLLI SICURI

cod. 0522500063

PROTOCOLLI SICURI

	0522500063
	DIPARTIMENTO DI INFORMATICA

	COMPUTER SCIENCE
	2014/2015

CURRICULUM SECURITY AND SAFETY

	YEAR OF DIDACTIC SYSTEM 2010
	PRIMO SEMESTRE

TEACHING UNITS

	SSD	CFU	HOURS	ACTIVITY	TYPE OF ACTIVITY
1	PROTOCOLLI SICURI MODULO 1
	INF/01	6	48	LESSONS	COMPULSORY SUBJECTS, CHARACTERISTIC OF THE CLASS
2	PROTOCOLLI SICURI MODULO 2
	INF/01	1	8	LESSONS	COMPULSORY SUBJECTS, CHARACTERISTIC OF THE CLASS
	INF/01	2	16	LAB	COMPULSORY SUBJECTS, CHARACTERISTIC OF THE CLASS

	Objectives
	KNOWLEDGE AND UNDERSTANDING THE STUDENT WILL ACQUIRE KNOWLEDGE AND METHODOLOGIES TO ADDRESS ISSUES RELATED TO THE USE OF CRYPTOGRAPHIC PRIMITIVES AND CRYPTOGRAPHIC PROTOCOLS IN DISTRIBUTED ENVIRONMENTS. THE STUDENT WILL BE ABLE TO DEVISE WHICH CRYPTOGRAPHIC PRIMITIVE ARE NEEDED TO IMPLEMENT CRYPTOGRAPHIC PROTOCOLS AND WHAT ARE THE SECURITY PROPERTIES THAT MUST SATISFY IN ORDER TO ENSURE GIVEN REQUIREMENTS. APPLYING KNOWLEDGE AND UNDERSTANDING THE STUDENT WILL BE ABLE TO DESIGN SIMPLE CRYPTOGRAPHIC PROTOCOLS AND TO PROVE THEIR SECURITY WITHIN THE DEVISED SECURITY MODEL. THE STUDENT WILL BE ABLE TO ANSWER THE FOLLOWING QUESTIONS: WHY DO WE THINK THAT THE SCHEMES ARE SECURE? CAN WE PROVE THAT SOME SCHEMES ARE SECURE? ADDITIONALLY, THE STUDENT INTERESTED IN RESEARCH WILL LEARN WHAT THE MAIN RESEARCH CHALLENGES ARE IN THE AREA, AND WILL IMPROVE HIS/HER BACKGROUND FOR FUTURE STUDIES. MAKING JUDGEMENTS THE STUDENT WILL ACQUIRE A METHODOLOGY FOR THE ANALYSIS OF MECHANISMS ENSURING THAT A PROTOCOL IS SECURE. THE STUDENT WILL BE ABLE TO JUDGE WHAT, AMONG SEVERAL CRYPTOGRAPHIC PROTOCOLS, IS BEST SUITED TO SOLVE A GIVEN PROBLEM. COMMUNICATION SKILLS THE STUDENT WILL BE ABLE TO COMMUNICATE WITH COMPETENCE AND PROPER TERMS, WITH A SPECIALIZED AND NON-SPECIALIZED AUDIENCE, ISSUES REGARDING THE USE OF CRYPTOGRAPHIC PROTOCOLS. THE STUDENT WILL DEVELOP THE ABILITY TO COMMUNCATE WHAT HE/SHE LEARNED IN A CLEAR AND CONCISE WAY. LEARNING SKILLS THE STUDENT WILL BE ABLE TO AUTONOMOUSLY DEAL WITH ANY ISSUE RELATED TO THE USE OF CRYPTOGRAPHIC PROTOCOLS IN DISTRIBUTED ENVIRONMENTS. THE STUDENT WILL BE ABLE TO UNDESTAND CRYPTOGRAPHIC PROTOCOLS (FORMAL DESCRIPTION AND SECURITY MODEL) DESCRIBED IN SCIENTIFIC PAPERS. THE COURSE WILL PROVIDE THE STUDENT WITH THE PROPER TOOLS TO ALLOW CONTINUOUS UPDATING OF HIS/HER KNOWLEDGE EVEN AFTER THE CONCLUSION OF THE COURSE ITSELF (LIFE LONG LEARNING).

KNOWLEDGE AND UNDERSTANDING

THE STUDENT WILL ACQUIRE KNOWLEDGE AND METHODOLOGIES TO ADDRESS ISSUES RELATED TO THE USE OF CRYPTOGRAPHIC PRIMITIVES AND CRYPTOGRAPHIC PROTOCOLS IN DISTRIBUTED ENVIRONMENTS. THE STUDENT WILL BE ABLE TO DEVISE WHICH CRYPTOGRAPHIC PRIMITIVE ARE NEEDED TO IMPLEMENT CRYPTOGRAPHIC PROTOCOLS AND WHAT ARE THE SECURITY PROPERTIES THAT MUST SATISFY IN ORDER TO ENSURE GIVEN REQUIREMENTS.

APPLYING KNOWLEDGE AND UNDERSTANDING

THE STUDENT WILL BE ABLE TO DESIGN SIMPLE CRYPTOGRAPHIC PROTOCOLS AND TO PROVE THEIR SECURITY WITHIN THE DEVISED SECURITY MODEL. THE STUDENT WILL BE ABLE TO ANSWER THE FOLLOWING QUESTIONS: WHY DO WE THINK THAT THE SCHEMES ARE SECURE? CAN WE PROVE THAT SOME SCHEMES ARE SECURE? ADDITIONALLY, THE STUDENT INTERESTED IN RESEARCH WILL LEARN WHAT THE MAIN RESEARCH CHALLENGES ARE IN THE AREA, AND WILL IMPROVE HIS/HER BACKGROUND FOR FUTURE STUDIES.

MAKING JUDGEMENTS

THE STUDENT WILL ACQUIRE A METHODOLOGY FOR THE ANALYSIS OF MECHANISMS ENSURING THAT A PROTOCOL IS SECURE. THE STUDENT WILL BE ABLE TO JUDGE WHAT, AMONG SEVERAL CRYPTOGRAPHIC PROTOCOLS, IS BEST SUITED TO SOLVE A GIVEN PROBLEM.

COMMUNICATION SKILLS

THE STUDENT WILL BE ABLE TO COMMUNICATE WITH COMPETENCE AND PROPER TERMS, WITH A SPECIALIZED AND NON-SPECIALIZED AUDIENCE, ISSUES REGARDING THE USE OF CRYPTOGRAPHIC PROTOCOLS. THE STUDENT WILL DEVELOP THE ABILITY TO COMMUNCATE WHAT HE/SHE LEARNED IN A CLEAR AND CONCISE WAY.

LEARNING SKILLS

THE STUDENT WILL BE ABLE TO AUTONOMOUSLY DEAL WITH ANY ISSUE RELATED TO THE USE OF CRYPTOGRAPHIC PROTOCOLS IN DISTRIBUTED ENVIRONMENTS. THE STUDENT WILL BE ABLE TO UNDESTAND CRYPTOGRAPHIC PROTOCOLS (FORMAL DESCRIPTION AND SECURITY MODEL) DESCRIBED IN
SCIENTIFIC PAPERS. THE COURSE WILL PROVIDE THE STUDENT WITH THE PROPER TOOLS TO ALLOW CONTINUOUS UPDATING OF HIS/HER KNOWLEDGE EVEN AFTER THE CONCLUSION OF THE COURSE ITSELF (LIFE LONG LEARNING).

	Prerequisites
	Familiarity with basic knowledge of probability theory, algorithms, and complexity theory. Some familiarity with cryptographic primitives is preferred. However, the required subjects can be caught up during the course.

	Contents
	This course will present both the most advanced cryptographic primitives and some of the recent research topics on cryptographic protocols. By attending this course, the student will acquire the basic notion about cryptographic primitives and their underlying principle in a formal and rigorous way. Security Models (2h) Secret Sharing (2h) Visual Cryptography (2h) Probabilistic Encryption (2h) Commitment (4h) Zero Knowledge (4h) Oblivious Transfer (4h) Secure Multi-Party Computation (6h) Private Set Intersection (4h) Private Information Retrieval (4h) Searchable Encryption (4h) Certified Electronic Mail (4h) Electronic Voting (4h) Anonymity and MIX networks (2h) Secure and Certified Log (2h)

Contents

This course will present both the most advanced cryptographic primitives and some of the recent research topics on cryptographic protocols. By attending this course, the student will acquire the basic notion about cryptographic primitives and their underlying principle in a formal and rigorous way.

Security Models (2h)

Secret Sharing (2h)

Visual Cryptography (2h)

Probabilistic Encryption (2h)

Commitment (4h)

Zero Knowledge (4h)

Oblivious Transfer (4h)

Secure Multi-Party Computation (6h)

Private Set Intersection (4h)

Private Information Retrieval (4h)

Searchable Encryption (4h)

Certified Electronic Mail (4h)

Electronic Voting (4h)

Anonymity and MIX networks (2h)

Secure and Certified Log (2h)

	Teaching Methods
	The course spans 48 hours of lectures dedicated to present some cryptographic protocols and 24 hours in lab devoted to illustrate the Java implementation of some cryptographic primitives and some private protocols. The course material is illustrated using slides. Attendance is not mandatory, but highly recommended. A satisfactory preparation requires an average of two hours of study for each hour spent in the classroom.

Teaching Methods

The course spans 48 hours of lectures dedicated to present some cryptographic protocols and 24 hours in lab devoted to illustrate the Java implementation of some cryptographic primitives and some private protocols. The course material is illustrated using slides. Attendance is not mandatory, but highly recommended. A satisfactory preparation requires an average of two hours of study for each hour spent in the classroom.

	Verification of learning
	Two seminars, a short one on a topic chosen by the student (mid-term) and one on a topic chosen by the instructor (final). Oral examination, if needed.

	Texts
	Selected scientific papers, they will also be available on-line on the course''s web site. Handouts: slides covering topics presented during lectures.

	More Information
	See course''s web site: http://caprera.dia.unisa.it/PC/

BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2016-09-30]

Carlo BLUNDO | PROTOCOLLI SICURI

PROTOCOLLI SICURI

CURRICULUM SECURITY AND SAFETY

TEACHING UNITS

PROFESSORS

SHEET

-

Carlo BLUNDO | PROTOCOLLI SICURI