Static Quantification of Side Channel Leaks

13.12.2016, 12:00 – 13:00

2016/12/13 12:00-13:00

Speaker: Boris Köpf | Location: Mornewegstraße 32 (S4|14), Room 5.3.01, Darmstadt

Organizer: CROSSING

(Organized in the context of the hiring process for the new cybersecurity professorships.)


Today's software systems employ a wide variety of techniques for minimizing the consumption 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 side channels that can be used for recovering private information about users, or even cryptographic keys.

In this talk I present a line of work on quantifying side channel leaks using static program analysis techniques, together with an outlook on how the results of the analysis can be leveraged in the context of cryptographic and economic theories.

Short Bio

Website of Boris Köpf.