Archive: Secure Virtualization with Formal Methods
621 views · Published 13 November 2013 · 51:18 · Indexed 23 October 2026
Channel: UW Video · 2013 · Education
Virtualization software is increasingly a part of the infrastructure behind our online activities. The companies and institutions that produce online content are taking advantage of the "infrastructure as a service" cloud computing model to obtain cheap and reliable computing power. These content producers rent compute time from the cloud provider during which they can run their entire software stack on the cloud provider's server. The cloud providers are able to provide cheap computing power by letting multiple client operating systems share a single physical machine, and they use virtualization technology to do that. The virtualization layer also provides isolation between guests, protecting each from unwanted access by the co-tenants. In this talk, Cynthia Sturton, Ph.D candidate at the University of California Berkeley, discusses her research toward verifying the security of this virtualization layer, and in particular, the isolation properties.
More from this channel
-
54:45
Archive: Usable Privacy and Security: Protecting People from Online Phishing Scams
-
58:27
Archive: Technology for Long-Term Care: Scaling Elder Care to the Next Billion
-
53:34
Archive: Closing the Innovation Gap
-
52:34
Archive: Hardness Amplification by Repetition
-
54:57
Archive: Network Coded Wireless Architecture
-
58:16
Archive: Thinking Historically about Thinking Historically: Identity Politics to Ethical Action
-
27:18
Archive: Eastside Specialty Center: Coordination of Care
-
22:35
Archive: Innovations in Spine Care