BEGIN:VCALENDAR
METHOD:PUBLISH
VERSION:2.0
PRODID:-//Cornell U. Department of Computer Science//Brown Bag Seminar//EN
BEGIN:VEVENT
SUMMARY:Brown bag: Ed Suh
DESCRIPTION:Title: Building Verifiably Secure Multi-Core Processors with
	 Applications to High-Assurance Self-Driving Cars\nSpeaker: Ed
	 Suh\nAbstract: This talk will discuss how static information flow
	 analysis can be used to design a computing system with  comprehensive
	 and verifiable information flow assurance\, and how such a system may be
	 leveraged in the context of a self-driving car to protect
	 safety-critical functions. In particular\, the talk will focus on
	 designing verifiably secure multi-core hardware and introduce an
	 extension to today's hardware design language\, named SecVerilog.
	 SecVerilog enables designers to statically analyze information flow at
	 the hardware level. Our prototyping experiences show that SecVerilog can
	 be used to formally verify traditional software isolation properties in
	 access control architectures such as ARM TrustZone. Combined with
	 careful redesigning of multi-core architecture\, SecVerilog also enables
	 strong timing isolation necessary to guarantee real-time deadlines. The
	 verified hardware can then be leveraged by software to provide strong
	 isolation guarantees for safety-critical components. The talk will
	 briefly discuss how we are applying this protection approach to provide
	 collision avoidance guaratnees for Cornell's autonomous driving vehicle.
LOCATION:Gates 122
UID:2016-10-04
STATUS:CONFIRMED
DTSTART:20161004T160000Z
DTEND:20161004T170000Z
LAST-MODIFIED:20160909T202342Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260409T081122Z
END:VEVENT
END:VCALENDAR