and Motivation.- High Assurance Software Lessons and Techniques.-
Hardware Security Challenges.- FPGA Updates and Programmability.-
Memory Protection on FPGAs.- Spatial Separation with Moats.-
Putting It All Together: A Design Example.- Forward-Looking
Problems.
