Amit Levy: 2016 IoT Workshop


Thursday, April 14, 2016
Location: Fisher Conference Center, Arrillaga Alumni Center

"Tock, a Secure Embedded Operating System"



Embedded operating systems and frameworks typically assume that a single, monolithic application will run on an embedded system. Traditionally, the need to optimize for power and to squeeze applications into minimal code and memory allocations have constrained microcontroller applications to be single-function. Tock is a new embedded operating system that bridges this gap by building on established operating system principles adapted to the embedded system environment. Tock exploits memory protection units, advancements in modern systems programming languages, and the event driven nature of embedded applications to allow a core kernel, device specific drivers, and untrusted applications to coexist on a single microcontroller without trusting each other.


Amit Levy is a PhD student in the Department of Computer Science at Stanford University. His work focuses on building pragmatic, secure systems that increase flexibility for application developers while preserving end-user control of private data.