qest logo
Boris Kopf

Boris Köpf
IMDEA Software Institute, Spain

Reasoning about the trade-off
between security and performance

Tuesday September 1, 2015 at 9:30

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.

Jozef Hooman

Jozef Hooman
RU Nijmegen and TNO-ESI, The Netherlands

Uniting academic achievements on performance
analysis with industrial needs

Thursday September 3, 2015 at 9:30
(joint program with FORMATS)

In our mission to advance innovation by industrial adoption of academic results, we perform many projects with high-tech industries. Favoring formal methods, we observe a gap between industrial needs in performance modeling and the analysis capabilities of formal methods for this goal. After clarifying this gap, we highlight some relevant deficiencies for state-of-the-art quantitative analysis techniques (focusing on model checking and simulation). As an ingredient to bridging the gap, we propose to unite domain-specific industrial contexts with academic performance approaches through Domain Specific Languages (DSLs). We illustrate our vision with examples from different high-tech industries and discuss lessons learned from the migration process of adopting it.

James Worrell

James Worrell
University of Oxford, UK

Reachability Problems for Continuous Linear Dynamical Systems

Wednesday September 2, 2015 at 9:30
(joint program MADRID MEET)

Matthew Hennessy

Matthew Hennessy
Trinity College Dublin, Ireland

Behavioural Equivalences for Co-operating Transactions

Thursday September 3, 2015 at 14:30
(joint program MADRID MEET)

Dec 2014
Website online

Organized by
Universidad Complutense de Madrid