Sapienza - Università di Roma
 Computer Science Department

PhD School

Borromini's Lantern (Saint Ivo at La Sapienza)

Advanced PhD level mini-courses

Mini-course on Secure Computing

Lecturer: Daniele Venturi

Description: Secure computation is a paradigm for letting a set of players evaluate a joint function of their private inputs, without revealing anything beyond the function's output. This mini-course will survey the main techniques and results in this area.

Syllabus: Introduction to the simulation proof technique. Semantic security of encryption, and its equivalence to indistinguishability. Defining security for semi-honest and malicious adversaries. Fully-homomorphic encryption and applications. Zero-knowledge for NP. Coin tossing. Oblivious transfer. Composition theorems.


  1. 04/07/2017 - Aula Seminari - 14:00-17:00
  2. 05/07/2017 - Aula Seminari - 14:00-17:00
  3. 10/07/2017 - Aula Seminari - 11:30-13:00 & 14:00-15:30 (part of Great Ideas in ICT)
  4. 11/07/2017 - Aula Seminari - 10:00-13:00
  5. 12/07/2017 - Aula Seminari - 14:00-17:00

Reading: Yehuda Lindell (Editor) - Tutorials on the Foundations of Cryptography (Dedicated to Oded Goldreich) - Springer 2017.

Mini-course on Architectures for Big Data Processing

Lecturer: Prof. Maziar Goudarzi, Sharif University

Expected schedule: October 2017