Built with from Grav and Hugo
Books:
EDA for IC design, verification, and testing
Mechanizing Proof: Computing, Risk, and Trust, by MacKenzie 2001.
If you could revise the fundmental principles of computer system design to improve security... ... what would you change?