6.858 Spring 2022 Lecture 21: Guest lecture by bunnie: Hardware security
1:29:57
6.858 Spring 2022 Lecture 21: Guest lecture by bunnie: Hardware security
2 жыл бұрын
6.858 Spring 2022 Lecture 19: Guest lecture by Nick Mathewson: Tor
1:29:57
6.858 Spring 2022 Lecture 19: Guest lecture by Nick Mathewson: Tor
2 жыл бұрын
6.858 Spring 2022 Lecture 8: Sandboxing libraries
1:29:58
6.858 Spring 2022 Lecture 8: Sandboxing libraries
2 жыл бұрын
6.858 Spring 2022 Lecture 23: Final project presentations
1:29:40
6.858 Spring 2022 Lecture 23: Final project presentations
2 жыл бұрын
6.858 Spring 2022 Lecture 12: Web security
1:29:58
6.858 Spring 2022 Lecture 12: Web security
2 жыл бұрын
6.858 Spring 2022 Lecture 15: Certificates
1:29:57
6.858 Spring 2022 Lecture 15: Certificates
2 жыл бұрын
6.858 Spring 2022 Lecture 18: Guest lecture by Galen Hunt: IoT Security in Microsoft Azure Sphere
1:29:57
6.858 Spring 2022 Lecture 18: Guest lecture by Galen Hunt: IoT Security in Microsoft Azure Sphere
2 жыл бұрын
6.858 Spring 2022 Lecture 20: CPU timing attacks
1:29:55
6.858 Spring 2022 Lecture 20: CPU timing attacks
2 жыл бұрын
6.858 Spring 2022 Lecture 13: Network security
1:29:57
6.858 Spring 2022 Lecture 13: Network security
2 жыл бұрын
6.858 Spring 2022 Lecture 17: Messaging security
1:29:59
6.858 Spring 2022 Lecture 17: Messaging security
2 жыл бұрын
6.858 Spring 2022 Lecture 16: Guest lecture by Max Burkhardt: Information security in real life
1:29:56
6.858 Spring 2022 Lecture 16: Guest lecture by Max Burkhardt: Information security in real life
2 жыл бұрын
6.858 Spring 2022 Lecture 14: Secure channels
1:29:59
6.858 Spring 2022 Lecture 14: Secure channels
2 жыл бұрын
6.858 Spring 2022 Lecture 11: Symbolic execution
1:29:39
6.858 Spring 2022 Lecture 11: Symbolic execution
2 жыл бұрын
6.858 Spring 2022 Lecture 3: User authentication
1:29:57
6.858 Spring 2022 Lecture 3: User authentication
2 жыл бұрын
6.858 Spring 2022 Lecture 9: Client device security
1:29:59
6.858 Spring 2022 Lecture 9: Client device security
2 жыл бұрын
6.858 Spring 2022 Lecture 10: Android security
1:29:44
6.858 Spring 2022 Lecture 10: Android security
2 жыл бұрын
6.858 Spring 2022 Lecture 7: Software fault isolation
1:29:52
6.858 Spring 2022 Lecture 7: Software fault isolation
2 жыл бұрын
6.858 Spring 2022 Lecture 5: Privilege separation
1:29:58
6.858 Spring 2022 Lecture 5: Privilege separation
2 жыл бұрын
6.858 Spring 2022 Lecture 6: OS and VM isolation
1:29:57
6.858 Spring 2022 Lecture 6: OS and VM isolation
2 жыл бұрын
6.858 Spring 2022 Lecture 4: Buffer overflows
1:29:08
6.858 Spring 2022 Lecture 4: Buffer overflows
2 жыл бұрын
6.858 Spring 2022 Lecture 2: Security architecture
1:29:43
6.858 Spring 2022 Lecture 2: Security architecture
2 жыл бұрын
6.858 Spring 2022 Lecture 1: Introduction
1:29:58
6.858 Spring 2022 Lecture 1: Introduction
2 жыл бұрын
6.S060 Fall 2021 Lecture 18: Case study: iOS security
1:21:15
6.S060 Fall 2021 Lecture 18: Case study: iOS security
3 жыл бұрын
6.826 Fall 2020 Lecture 25: Reliability without proofs
1:17:11
6.826 Fall 2020 Lecture 25: Reliability without proofs
4 жыл бұрын
6.826 Fall 2020 Lecture 24: Push-button verification: Serval, Rosette
1:19:43
6.826 Fall 2020 Lecture 24: Push-button verification: Serval, Rosette
4 жыл бұрын
6.826 Fall 2020 Lecture 23: What to expect from proofs for security?
1:09:02
6.826 Fall 2020 Lecture 23: What to expect from proofs for security?
4 жыл бұрын
6.826 Fall 2020 Lecture 22: Non-interference; CertiKOS
1:25:34
6.826 Fall 2020 Lecture 22: Non-interference; CertiKOS
4 жыл бұрын
6.826 Fall 2020 Lecture 21: Secure enclaves; Komodo
1:21:05
6.826 Fall 2020 Lecture 21: Secure enclaves; Komodo
4 жыл бұрын
6.826 Fall 2020 Lecture 20: Correctness of verified systems
1:23:26
6.826 Fall 2020 Lecture 20: Correctness of verified systems
4 жыл бұрын
Пікірлер