A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
2011
Proceeding of the 38th annual international symposium on Computer architecture - ISCA '11
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. Crafting the core of such a system in a way that achieves flexibility, security, and performance requires a careful balancing act. Simple static primitives with hard partitions of space and time are easier to analyze formally, but strict approaches to the problem at the hardware level have been extremely restrictive,
doi:10.1145/2000064.2000087
dblp:conf/isca/TiwariOLVLHKCS11
fatcat:n4fu5qhf2zdktmnly66wx4ihli