Campus Event Calendar

Event Entry

What and Who

Formal Models for Side-Channel Attacks

Boris Köpf
ETH Zuerich
SWS Colloquium

Boris Koepf is a Ph.D. candidate at the Swiss Federal Institute of
Technology (ETH). His interests include information security, program
analysis and information flow, programming languages, and formal

AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2  
AG Audience

Date, Time and Location

Wednesday, 24 October 2007
60 Minutes
E1 5


                                                                                                                     Side-channel attacks have become so effective that they pose a real
threat to the security of cryptographic algorithms. This threat is not
covered by traditional notions of cryptographic security and models for
proving resistance against it are only now emerging. In this talk, I
will present work on such a model. It is based on concrete and realistic
assumptions about the attacker and it is tailored to synchronous
hardware, where faithful system models are available. The model leads to
meaningful metrics for assessing the resistance of a system to
side-channel attacks. I will show how these metrics can be computed and
be used for analyzing nontrivial hardware implementations for their
vulnerability to timing attacks. I will conclude with a number of
directions for further research.


Brigitta Hansen
0681 9325200
--email hidden
passcode not visible
logged in users only

Brigitta Hansen, 10/23/2007 10:55 -- Created document.