BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Static Analysis of Cache Side Channels
DTSTART:20140409T121500
DTSTAMP:20260407T095102Z
UID:068d7f2b08e8dba677060a82823069b4f828a55d6f4a6c405c0b86f8
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dr Boris Köpf\, IMDEA Software\, Madrid\nSide-channel attacks
  recover secret inputs to programs from physical characteristics of comput
 ations\, such as execution time or power consumption. CPU caches are a par
 ticularly rich source of side channels because their behavior heavily impa
 cts execution time and can be monitored in various ways.\nCacheAudit is a 
 novel platform that enables the automatic\, static analysis of such cache 
 side channels\; it takes as input a program binary and a cache configurati
 on\, and it derives formal\, quantitative security guarantees for a compre
 hensive set of side-channel adversaries\, namely those based on observing 
 cache states\, traces of\nhits and misses\, and execution times.\nIn this 
 talk I will present the theoretical foundations and the architecture of Ca
 cheAudit\, and the results we obtain when analyzing library implementation
 s of symmetric cryptosystems such as AES or Salsa. I will conclude with an
  outlook on how CacheAudit can be used for engineering certified proofs of
  security of leakage-resilient cryptosystems on platforms with concurrency
  and caches.\nBio: Boris is an assistant research professor at the Madrid 
 Institute of Advanced Studies in Software Development Technologies (IMDEA 
 Software). Prior to joining IMDEA Software he was a postdoctoral researche
 r at the Max Planck Institute for Software Systems and a PhD student at ET
 H Zurich.
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR