Security Without Trust: Nickolai Zeldovich

Nickolai Zeldovich, Professor, MIT Electrical Engineering and Computer Science and CSAIL, on eliminating bugs in hardware security modules using formal verification.
Zeldovich’s talk was part of the session on "Security Without Trust" for the Expanding Horizons in Computing series. Organized by MIT faculty, the series of bootcamps, workshops, short talks, panels, and roundtable discussions delved into exciting areas of computing and AI, with topics ranging from security, intelligence, and deep learning to design, sustainability, and policy.
Watch more videos from the MIT Schwarzman College of Computing: / @mitcomputing
The mission of the MIT Schwarzman College of Computing is to address the opportunities and challenges of the computing age - from hardware to software to algorithms to artificial intelligence - by transforming the capabilities of academia in three key areas: strengthen core computer science and AI; infuse the forefront of computing with disciplines across MIT; and advance social, ethical, and policy dimensions of computing. Learn more at computing.mit.edu.