This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Performance against isolation
A subject the papers are about. The loosest grouping, and the one to reach for last.
Operating systems caught between speed and isolation: every performance feature is a shared resource, every unpartitioned shared resource a channel. From 1960s capabilities to microarchitectural leakage.
25 references
Detecting speculative leaks with compositional semantics
Xaver Fabian and others (2026)
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI
Shixin Song and others (2026)
RTL2MuPATH: Multi-uPATH Synthesis with Applications to Hardware Security Verification
Yao Hsiao and others (2024)
Specification and Verification of Strong Timing Isolation of Hardware Enclaves
S. Lau and others (2024) · ACM
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
Mohammad Rahmani Fadiheh and others (2022) · IEEE Transactions on Computers
SpecShield: Shielding Speculative Data from Microarchitectural Covert Channels
Kristin Barber and others (2019) · IEEE
Time Protection: The Missing OS Abstraction
Qian Ge and others (2019) · Proceedings of the Fourteenth EuroSys Conference · Association for Computing Machinery
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
RIDL: Rogue In-Flight Data Load
Stephan van Schaik and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Mohammad Rahmani Fadiheh and others (2018)
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Qian Ge and others (2018) · Journal of Cryptographic Engineering · Springer
Meltdown
Moritz Lipp and others (2018) · arXiv
Meltdown: Reading Kernel Memory from User Space
Moritz Lipp and others (2018) · 27th USENIX Security Symposium (USENIX Security 18) · USENIX Association
KASLR is Dead: Long Live KASLR
Daniel Gruss and others (2017) · Engineering Secure Software and Systems · Springer
Provably secure memory isolation for Linux on ARM
Roberto Guanciale and others (2016) · Journal of Computer Security · IOS Press
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center
EROS: A fast capability system
Jonathan S. Shapiro and others (1999) · ACM
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
Paul C. Kocher (1996) · Advances in Cryptology — CRYPTO '96 · Springer Berlin Heidelberg
Specification and verification of the UCLA unix security kernel
Bruce J. Walker and others (1980) · Commun. ACM
Specification and verification of the UCLA Unix security kernel
Bruce J. Walker and others (1979) · SOSP ’79: Proceedings of the seventh ACM symposium on Operating systems principles
The protection of information in computer systems
Jerome H. Saltzer and others (1975) · Proceedings of the IEEE · IEEE
Formal Requirements for Virtualizable Third Generation Architectures
Gerald J. Popek and others (1974) · Communications of the ACM · Association for Computing Machinery
HYDRA: the kernel of a multiprocessor operating system
W. Wulf and others (1974) · Communications of the ACM · Association for Computing Machinery (ACM)
A note on the confinement problem
Butler Lampson (1973) · Communications of the ACM · Association for Computing Machinery
Programming semantics for multiprogrammed computations
Jack B. Dennis and others (1966) · Communications of the ACM · Association for Computing Machinery