1. https://www.darpa.mil/news-events/2017-04-10
2. https://www.darpa.mil/program/system-security-integration-through-hardware-and-firmware
3. Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security;Tiwari,2011
4. A Model for When Disclosure Helps Security: What is Different About Computer and Network Security?;Swire;Journal on Telecommunications and High Technology Law,2024
5. The protection of information in computer systems;Saltzer,1975