OSDI '14 - Ironclad Apps: End-to-End Security via Automated Full-System Verification
263 views
Why it's on BrighterTube
Advanced · From a channel a BrighterTube curator approved in full · 80% confidenceFrom a channel Lumen includes in full: USENIX posts the paper presentations from its peer-reviewed systems and security conferences (OSDI, NSDI, USENIX Security, FAST, ATC): authors presenting their own research, the primary source for much of modern systems work.
What you'll learn
A 26-minute video from USENIX's catalogue; the title names its topic.
Video by USENIX, played through YouTube's embedded player.
Part of OSDI '14