OpenKnowledge

Home Paths Roadmap Studio My data

Catalog · Computer Systems Security

Lecture 9 of 22

Lecture 10: Symbolic Execution

← Previous Lecture 9: Securing Web Applications Next → Lecture 11: Ur/Web

Materials

Transcript (PDF) ↗ transcript

Sources

MIT OpenCourseWare

Browse

Catalog
Search
Roadmap
New courses (Atom)

OpenKnowledge — a catalog of open courseware. Lectures are embedded from their sources; each course carries its original license.