IIT Home Page CNR Home Page

Seminario: Reasoning about the trade-off between security and performance, Pisa 30 Settembre 2016

Today's software systems employ a wide variety of techniques for minimizing the use of resources such as time, memory, and energy. While these techniques are indispensable for achieving competitive performance, they can pose a serious threat to security: By reducing the resource consumption on average (but not in the worst case), they introduce variations that can be exploited by adversaries for recovering private information about users, or even cryptographic keys. In this talk I will give examples of attacks against a number of performance-enhancing features of software and hardware, and I will present ongoing work on techniques for quantifying the resulting threat and for choosing the most cost-effective defense.


Dal 30/09/2016-15.30 al 30/09/2016-17.30 , IIT, Aula A32

Speaker: Dr. Boris Koepf, IMDEA, Spain

Responsabile: Fabio Martinelli

Attività: Metodi formali per la sicurezza di sistemi ICT


Note: Bio: Boris is an assistant research professor at the IMDEA Software Institute in Madrid, Spain. Before that, he was a Ph.D. student at ETH Zurich and a postdoc at the Max Planck Institute for Software Systems. Boris' research focuses on the foundations of computer security. In particular, he is interested in quantitative notions of security, and in techniques for computing corresponding guarantees for real systems. He is co-chairing CSF 2017 and encourages you to submit great papers!