Armando Solar-Lezama

Professor

MIT

1 course · 1 total lecture · 1h recorded

Computer Systems & Software

Courses by Armando Solar-Lezama

All courses →

Complete university lecture series taught by Armando Solar-Lezama.

MIT · 6.85822 lectures · 30h

Systems & CS·graduate

Computer Systems Security

Prof. Nickolai Zeldovich·MIT

Graduate-caliber engineering study of buffer overflows, privilege separation, capabilities, sandboxing, OS kernel isolation, web security models, network attacks, and side channels.

Start lecture 1

Syllabus →

All lectures by Armando Solar-Lezama

Search or browse every recorded session across courses and talks.

Showing 1 of 1 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Lecture 10: Symbolic Execution (6.858)

6.858 · Lec 9 · Armando Solar-Lezama · MIT

Armando Solar-Lezama MIT

1:22:16