2017
-
Safely and Efficiently Multiprogramming a 64kB Computer. SOSP 2017. Slides: [ODP]
-
Safely and Efficiently Multiprogramming a 64kB Computer. Secure Internet of Things Project Retreat 2017. Slides: [PDF]
2016
-
Beetle: Sharing, flexibility and access control for Bluetooth Low Energy. Mobisys 2016
Slides: [PDF] -
Tock: A Safe Multi-tasking Operating System for Microcontrollers. Intel, Google.
Slides: [PDF] -
Tock: A Safe Multi-tasking Operating System for Microcontrollers. Rust SF Meetup @ Mozilla.
Slides: [PDF] -
Tock: A Secure OS for Embedded Platforms. Analog Devices Inc.
Slides: [PDF]
2015
-
Ownership is Theft: Experiences Building an Embedded OS in Rust..
Programming Languages and Operating Systems (PLOS).
Slides: [PDF] -
Microcontrollers Deserve Protection Too. Stanford Security Forum.
Slides: [PDF] -
Are Security and Low Energy Incompatible? Stanford Security Lunch.
Slides: [PDF] -
Beetle: Many-to-Many Bluetooth Communication. Stanford Secure Internet of Things Project Seminar.
Slides: [PDF] Video: [YouTube]
2014
-
Making Web Applications -XSafe. Haskell Symposium.
Video: [YouTube] -
CDNs Considered Harmful. Stanford Security Lunch.
Slides: [PDF]
2013
-
Bridging the Security Gap with Decentralized Information Flow Control. UW CSE Systems Seminar.
Slides: [PDF] -
Reigning in the Memory Manager. San Francisco Go Meetup.
Slides: [HTML] -
Simple. A functional web framework in Haskell. Heroku.
Slides: [HTML]
2012
-
Bridging the Security Gap with Decentralized Information Flow Control. CRASH PI Meeting.
Slides: [PDF] -
Hails: Protecting Data Privacy in Untrusted Web Apps. Stanford Security Forum.
Slides: [PDF] -
Scaling Web Applications with MemCachier. PivotalLabs.
Video: [Vimeo]
2011
- Experiences Leveraging DHTs for a Security Applications. Stanford Security Lunch.
Slides: [PDF]