BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Closing the Loop on Secure System Design
DTSTART:20180308T101500
DTEND:20180308T113000
DTSTAMP:20260406T194619Z
UID:61aada3d948c8a0d965568a16a05fb3b2f5088af458e8d983808ebc8
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Amit Levy - Stanford University\nIC Faculty candidate\n\nA
 bstract:\nDespite decades of research building secure operating systems\, 
 many deployed systems must still choose between flexible application APIs 
 and security. As a result\, the vast majority of programmers are unable to
  improve these systems. This is not merely a result of poor system buildin
 g. It is hard to design highly extensible systems that are both secure an
 d useful. Moreover\, evaluating novel designs with actual developers is cr
 itical in order to make sure system builders can adopt research systems i
 n practice.\n\nFortunately\, in emerging application domains\, such as the
  Internet of Things\, there are no entrenched operating systems and applic
 ation portability is less important. This makes it possible to evaluate re
 search techniques for building more secure and extensible systems with dev
 elopers who are willing to adopt them.\n\nI'll describe Tock\, an operatin
 g system for microcontrollers that enables third-party developers to exten
 d the system. Tock uses the Rust type-system to isolate kernel extensions 
 and the hardware to isolate applications. I'll discuss how we continuously
  evaluate Tock by engaging with practitioners\, and how lessons from pract
 itioners have fed back into the system's design.\n\nBio:\nAmit Levy is a P
 hD candidate in Computer Science at Stanford University.  He builds secur
 e operating system kernels\, web platforms\, and network systems  that he
 lp make computers more programmable by third-party application developers
 .\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR