Silver Oak: Building A High Assurance Silicon Root of Trust

A guest lecture for the Security Engineering course at the University of Edinburgh. Slides for the lecture Silver Oak: Building A High Assurance Silicon Root of Trust and video of the lecture