## References
1. Jaeger. 2008. Operating system security.
2. [Lampson. 1974. Protection](https://doi.org/10.1145/775265.775268)
3. [Multics Summary](https://multicians.org/history.html)
4. [Multics Data Security](https://multicians.org/multics-data-security.html)
5. [Wright et al. 2002. Linux Security Modules: General Security Support for the Linux Kernel.](http://www.kroah.com/linux/talks/usenix_security_2002_lsm_paper/lsm.pdf)
6. [Zhang et al. 2002. Using CQUAL for Static Analysis of Authorization Hook Placement](http://www.cse.psu.edu/~trj1/papers/usenix_sec2002.pdf)
7. [Bell/LaPadula. 1976. Secure Computer System: Unified Exposition And Multics Interpretation](https://csrc.nist.gov/csrc/media/publications/conference-paper/1998/10/08/proceedings-of-the-21st-nissc-1998/documents/early-cs-papers/bell76.pdf)
8. [Ames et al. 1983. Security Kernel Design and Implementation: An Introduction](https://doi.org/10.1109/MC.1983.1654439)
9. [Herder et al. 2009. Fault isolation for device drivers](https://www.cs.vu.nl/~herbertb/papers/minix3_dsn09.pdf)
10. [Karger et al. 1991. A retrospective on the VAX VMM security kernel](https://doi.org/10.1109/32.106971)
11. [Belay et al. 2012. Dune: Safe User-level Access to Privileged CPU Features](https://dl.acm.org/doi/10.5555/2387880.2387913)
11. [Ta-Min et al. 2006. Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable](https://dl.acm.org/doi/10.5555/1298455.1298482)
12. [Kaplan et al. 2016. AMD Memory Encryption](https://developer.amd.com/wordpress/media/2013/12/AMD_Memory_Encryption_Whitepaper_v7-Public.pdf)
3. [Jain et al. 2017. A Clairvoyant Approach to Evaluating Software (In)Security](https://doi.org/10.1145/3102980.3102991)
4. [Kurmus et al. 2014. Quantifiable Run-Time Kernel Attack Surface Reduction](https://doi.org/10.1007/978-3-319-08509-8_12)
5. [McCune et al. 2010. TrustVisor: Efficient TCB Reduction and Attestation](https://doi.org/10.1109/SP.2010.17)
6. [Elphinstone et al. 2013. From L3 to seL4 what have we learnt in 20 years of L4 microkernels?](https://doi.org/10.1145/2517349.2522720)
7. [Tsai et al. Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX](https://www.usenix.org/system/files/conference/atc17/atc17-tsai.pdf)
8. [Baumann. 2017. Hardware is the new Software](https://doi.org/10.1145/3102980.3103002)