Who: Gustavo Grieco (CIFASIS - CONICET and VERIMAG) When: 11:00, May 6 in Where: room EDIT 8103 Title: {{ page.title }}
Abstract:\
Mutational fuzzing is a powerful tool to detect vulnerabilities in software.
Who: Alejandro Russo When: 11:00 am on April 15 Where: Room 3364\
Title: {{ page.title }}
Abstract:\
For several decades, researchers from different communities have independently focused on protecting confidentiality of data.
Who: Elena Pagnin When: Friday April 1, 11:00 Where: Room 8103 Title: {{ page.title }}
Abstract: This talk is supposed to give an overview of the state of the art in the area of Homomorphic Encryption (HE) and Multi-Linear Maps (MLM).
Who: Matteo Maffei\
When: Thursday, {{ page.date | date_to_long_string }}, 13:30-14:30\
Where: Room 3364\
Title: {{ page.title }}
Abstract:\
In this talk, I will present two ongoing projects on the formal verification of security properties for mobile and web applications.
Who: Manolis Terrovitis\
When: Tuesday, {{ page.date | date_to_long_string }}, 15:00-12:00\
Where: Room 8103\
Title: {{ page.title }}
Abstract:\
Data privacy is of increasing importance as most human activities leave digital traces in some information system.
Who: Prof. Lujo Bauer from Carnegie Mellon University\
When: Thursday, {{ page.date | date_to_long_string }}, 15:00\
Where: Room EA\
Title: {{ page.title }}
Abstract: Many security problems arise at the interface between computer systems and their users.
Who: Virgil Gligor CMU\
When: Friday, {{ page.date | date_to_long_string }}, 11:00-12:00\
Where: Room 8103\
Title: {{ page.title }}
Abstract:\
Suppose that a trustworthy program must be booted on a commodity system that may contain persistent malware.