Building Trusted Systems on Top of Leaky Abstractions
Explore a comprehensive lecture on building trusted systems in the face of leaky abstractions. Delve into the complexities of modern application security, examining how performance-oriented design choices at lower levels can unexpectedly impact overall system safety. Learn about novel side-channel attacks and their implications for system security. Discover the Fuzzyfox project, designed to secure the Firefox web browser against known and unknown timing attacks. Investigate the Keystone Trusted Execution Environment Framework, a new approach to constructing trusted systems using both software and hardware. Gain insights from David Kohlbrenner, a Postdoctoral Scholar at UC Berkeley, whose research has led to significant security improvements in popular web browsers and the Linux kernel. Understand the challenges and solutions in creating deployable secure systems in today's complex technological landscape.