This is a collection of links to the reading notes of some books on this website.
Math.FM. “Software Foundations, Volumn 1 - 4”. By Benjamin C. Pierce, et al. 2019. html video/lectures by Pierece, UPenn, by Clarkson, Cornell, by Xiong, Peking U “Logical Foundations for Computing Science”. By Shen Enshao. 2006. “Logic for Computer Science.” By Steve Reeves and Mike Clarke. 2003. “Rigorous Software Development: An Introduction to Program Verification”. By Almeida, José Bacelar, Maria João Frade, Jorge Sousa Pinto,
Books: EDA for IC design, verification, and testing Mechanizing Proof: Computing, Risk, and Trust, by MacKenzie 2001. More
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?