If you find our field's history interesting, then I have more good stuff. The Ware Report [1] was what started it. An interesting read to look back at them looking forward and see how close they got. Foundations [2] were then laid. Schaefer summarizes [3] all this from start to the failed finish. Capability-security model [4] and tagged systems [5] happened in parallel. Both seem more appropriate to commercial systems. Enough time brought me to real problem [6] and our tiny niche is working on solutions from chip up for every security model.

Hopefully someone will put one in production in next several years. CheriBSD already runs on FPGA's & Linux runs on some. Getting really close to PC's we can trust [a bit more]. :)

[1] http://seclab.cs.ucdavis.edu/projects/history/papers/ware70....

[2] http://seclab.cs.ucdavis.edu/projects/history/seminal.html

[3] https://www.acsac.org/2004/papers/ClassicPaperSchafer.pdf

[4] http://homes.cs.washington.edu/~levy/capabook/

[5] http://www.smecc.org/The%20Architecture%20%20of%20the%20Burr...

[6] https://www.schneier.com/blog/archives/2014/04/dan_geer_on_h...