_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > Nickolai Zeldovich

Nickolai Zeldovich	5400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 1 hour 29 minutes 58 seconds 794 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 22: Guest lecture by Max Krohn: Zoom security YT 1 hour 29 minutes 57 seconds 714 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 21: Guest lecture by bunnie: Hardware security YT 1 hour 29 minutes 57 seconds 526 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 19: Guest lecture by Nick Mathewson: Tor

YT 1 hour 29 minutes 58 seconds 566 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 8: Sandboxing libraries YT 1 hour 29 minutes 40 seconds 334 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 23: Final project presentations YT 1 hour 29 minutes 58 seconds 689 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 12: Web security

YT 1 hour 29 minutes 57 seconds 471 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 15: Certificates YT 1 hour 29 minutes 57 seconds 246 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 18: Guest lecture by Galen Hunt: IoT Security in Microsoft Azure Sphere YT 1 hour 29 minutes 55 seconds 408 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 20: CPU timing attacks

YT 1 hour 29 minutes 57 seconds 786 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 13: Network security YT 1 hour 29 minutes 59 seconds 303 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 17: Messaging security YT 1 hour 29 minutes 56 seconds 312 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 16: Guest lecture by Max Burkhardt: Information security in real life

YT 1 hour 29 minutes 59 seconds 419 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 14: Secure channels YT 1 hour 29 minutes 39 seconds 450 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 11: Symbolic execution YT 1 hour 29 minutes 57 seconds 1.2K views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 3: User authentication

YT 1 hour 29 minutes 59 seconds 469 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 9: Client device security YT 1 hour 29 minutes 44 seconds 509 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 10: Android security YT 1 hour 29 minutes 52 seconds 706 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 7: Software fault isolation

YT 1 hour 29 minutes 58 seconds 647 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 5: Privilege separation YT 1 hour 29 minutes 57 seconds 700 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 6: OS and VM isolation YT 1 hour 29 minutes 8 seconds 859 views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 4: Buffer overflows

YT 1 hour 29 minutes 43 seconds 2K views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 2: Security architecture YT 1 hour 29 minutes 58 seconds 9K views Shared 2 years ago Nickolai Zeldovich 6.858 Spring 2022 Lecture 1: Introduction YT 1 hour 21 minutes 15 seconds 1.3K views Shared 3 years ago Nickolai Zeldovich 6.S060 Fall 2021 Lecture 18: Case study: iOS security

YT 1 hour 17 minutes 11 seconds 521 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 25: Reliability without proofs YT 1 hour 19 minutes 43 seconds 747 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 24: Push-button verification: Serval, Rosette YT 1 hour 9 minutes 2 seconds 352 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 23: What to expect from proofs for security?

YT 1 hour 25 minutes 34 seconds 470 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 22: Non-interference; CertiKOS YT 1 hour 21 minutes 5 seconds 340 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 21: Secure enclaves; Komodo YT 1 hour 23 minutes 26 seconds 212 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 20: Correctness of verified systems

YT 1 hour 9 minutes 41 seconds 395 views Shared 4 years ago Nickolai Zeldovich 6.858 Fall 2020 Lecture 19: Network verification; SDN; NetCore YT 1 hour 10 minutes 33 seconds 474 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 18: Protocol verification, I4 YT 1 hour 18 minutes 35 seconds 471 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 17: Distributed systems, IronFleet

YT 1 hour 16 minutes 5 seconds 827 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 16: Concurrent separation logic, Iris YT 1 hour 22 minutes 17 seconds 314 views Shared 4 years ago Nickolai Zeldovich 6.858 Fall 2020 Lecture 15: Concurrency with state machines and movers: Armada YT 1 hour 20 minutes 51 seconds 363 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 14: Formal concurrency

YT 1 hour 21 minutes 54 seconds 295 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 13: Recitation on lab 3 YT 1 hour 21 minutes 19 seconds 453 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 12: Finding concurrency bugs, TSVD YT 1 hour 10 minutes 55 seconds 731 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 11: x86-TSO

YT 1 hour 6 minutes 40 seconds 402 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 10: FSCQ YT 1 hour 3 minutes 26 seconds 2.5K views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 9: Separation logic YT 1 hour 10 minutes 44 seconds 272 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 8: SibylFS

YT 1 hour 9 minutes 58 seconds 716 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 7: Static analysis YT 1 hour 7 minutes 43 seconds 726 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 6: Compiler correctness, CompCert YT 1 hour 14 minutes 517 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 5: Refinement

YT 1 hour 9 minutes 11 seconds 573 views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 4: Security, Everest YT 1 hour 27 minutes 55 seconds 1.2K views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 3: Specs and Abstraction in Hoare logic YT 1 hour 12 minutes 11 seconds 1.3K views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 2: Specifications

YT 1 hour 24 minutes 21 seconds 7.9K views Shared 4 years ago Nickolai Zeldovich 6.826 Fall 2020 Lecture 1: Introduction YT 1 hour 19 minutes 54 seconds 1.6K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 22: Final project presentations YT 1 hour 31 minutes 59 seconds 1.1K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 21: Guest lecture by Max Krohn: Keybase

YT 57 minutes 15 seconds 1.2K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 20: MIT network security Q&A with IS&T staff YT 56 minutes 52 seconds 1.3K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 19: Tor Q&A with Nick Mathewson YT 1 hour 23 minutes 54 seconds 1.5K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 18: CPU timing attacks

YT 1 hour 28 minutes 13 seconds 1.4K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 17: Untrusted storage servers YT 1 hour 23 minutes 7 seconds 1.8K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 16: Messaging security YT 1 hour 30 minutes 9 seconds 1.5K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 15: Guest lecture by Max Burkhardt: Information security in real life

YT 1 hour 24 minutes 33 seconds 2.8K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 14: Certificates YT 1 hour 24 minutes 51 seconds 2.3K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 13: Secure channels YT 1 hour 21 minutes 51 seconds 3.9K views Shared 4 years ago Nickolai Zeldovich 6.858 Spring 2020 Lecture 12: Network security