BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Design for Security: The Hardware-Up Principle
DTSTART:20131104T093000
DTEND:20131104T110000
DTSTAMP:20260407T163952Z
UID:35671c3e41377855d7b11984dc328bdb1f251b6e155b6e147ea488a1
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Simha Sethumadhavan\, Computer Science\, Columbia Univer
 sity\nIn this talk\, Simha Seethumadhavan will describe a new design princ
 iple for security : the hardware-up principle. Hardware-up security means 
 that systems should be secured starting from hardware instead of the exist
 ing popular approach where software layers are secured\, assuming that the
  lower layers are secure when they are not. He will discuss how systems de
 signed for security from hardware-up offer unique advantages unavailable i
 n current protection systems: a smaller attack surface\, energy-efficient 
 execution\, and the ability to reason about security compositionally.\nHe 
 will illustrate hardware-up benefits through three case studies.\nFor the 
 first hardware-up case study\, he will discuss how we can prevent attacker
 s from taking advantage of unintentional hardware design flaws. Taking mic
 roarchitectural side channels as an example\, he will discuss a new method
 ology that computer architects can use to reason micro architectural side-
 channels at processor design time.\nAttackers can also intentionally seake
 n hardware to break systems. In the second case study\, he will discuss ho
 w hardware itself can be created in a manner that provides assurance that 
 its security has not been compromised due to design-time backdoors. He wil
 l describe a technique for silencing backdoors and a prototype built using
  this technique that incurs less than 8% area overhead and negligible perf
 ormance overheads.\nFinally\, he will describe a hardware malware detector
 \, a first of its kind\, that is vastly simpler to implement compared to t
 raditional software malware detector.
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR
