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, where every performance feature is a shared resource and every shared resource is a channel. Collects the work that treats that trade-off as the subject, from the capability and confinement papers of the 1960s to modern microarchitectural leakage. Membership requires the tension to be the argument, not an incidental cost.
28 references
Fundamentally Understanding and Solving RowHammer
Onur Mutlu and others (2023) · Proceedings of the 28th Asia and South Pacific Design Automation Conference
What you need to know about (smart) network interface cards
Georgios P. Katsikas and others (2021) · International Conference on Passive and Active Network Measurement · Springer
Patching zero-day vulnerabilities: an empirical analysis
Yaman Roumani (2021) · Journal of Cybersecurity
The ethics of zero-day exploits—the NSA meets the trolley car
Stephen B. Wicker (2021) · Communications of the ACM
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
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Qian Ge and others (2018) · Journal of Cryptographic Engineering · Springer
Adapting Kerckhoffs's Principle: CPU Attacks Leading a Path from Cryptography to Open-Source Hardware
Thorsten Knoll (2018) · Fourth Wiesbaden Workshop on Advanced Microkernel Operating Systems (WAMOS 2018) · RheinMain University of Applied Sciences
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
A Study of Security Isolation Techniques
Rui Shu and others (2016) · ACM Computing Surveys · Association for Computing Machinery (ACM)
Performance Anomaly Detection and Bottleneck Identification
Olumuyiwa Ibidunmoye and others (2015) · ACM Computing Surveys
Before we knew it: an empirical study of zero-day attacks in the real world
Leyla Bilge and others (2012) · ACM Conference on Computer and Communications Security
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
Paul C. Kocher (1996) · Advances in Cryptology — CRYPTO '96 · Springer Berlin Heidelberg
Real-Time Computing: A New Discipline of Computer Science and Engineering
Kang G. Shin and others (1994) · Proceedings of the IEEE
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Thomas E. Anderson and others (1992) · ACM Transactions on Computer Systems
Reevaluating Amdahl's law
John L. Gustafson (1988) · Communications of the ACM · Association for Computing Machinery (ACM)
Hints for computer system design
Butler Lampson (1983) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
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
A note on the confinement problem
Butler Lampson (1973) · Communications of the ACM · Association for Computing Machinery
Structured multiprogramming
Per Brinch Hansen (1972) · Communications of the ACM · Association for Computing Machinery
The Nucleus of a Multiprogramming System
Per Brinch Hansen (1970) · Communications of the ACM · Association for Computing Machinery
Validity of the single processor approach to achieving large scale computing capabilities
Gene M. Amdahl (1967) · Proceedings of the April 18-20, 1967, Spring Joint Computer Conference (AFIPS '67, Spring) · ACM Press
An Efficient Algorithm for Exploiting Multiple Arithmetic Units
R. M. Tomasulo (1967) · IBM Journal of Research and Development · IBM
Programming semantics for multiprogrammed computations
Jack B. Dennis and others (1966) · Communications of the ACM · Association for Computing Machinery