Verification and Secure Systems
Why it's on BrighterTube
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceCovers verification techniques and secure systems design principles. An 84-minute lecture on a core CS topic with practical applications in building trustworthy software.
What you'll learn
A 84-minute video from Microsoft Research: “Verification and Secure Systems”.
Video by Microsoft Research, played through YouTube's embedded player.