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
methods.
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 24 October 2007
10:30
60 Minutes
E1 5
023
Saarbrücken
Abstract
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.
Contact
Brigitta Hansen
0681 9325200
--email hidden
passcode not visible
logged in users only
Brigitta Hansen, 10/23/2007 10:55 -- Created document.