The Guardian Council: Parallel Programmable Hardware Security
Sam Ainsworth, Timothy M. Jones
2020Year
6Citations
2Top-tier citations
Abstract
Systems security is becoming more challenging in the face of untrusted programs and system users. Safeguards against attacks currently in use, such as buffer overflows, control-flow integrity, side channels and malware, are limited. Software protection schemes, while flexible, are often too expensive, and hardware schemes, while fast, are too constrained or out-of-date to be practical.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get a3a0f1fb-5195-47b9-a9a9-23cabcf2558aCited by top-tier papers2
- HerQules: securing programs via hardware-enforced message queuesDaming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons et al.ASPLOS 2021 · 3 citations
- FireGuard: A Generalized Microarchitecture for Fine-Grained Security Analysis on OoO Superscalar CoresZhe Jiang, Sam Ainsworth, Timothy M. JonesDAC 2025
Related papers
- Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production HypervisorKayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami et al.SOSP 2025
- uMMU: Securing Data Confidentiality with Unobservable Memory SubsystemHajeong Lim, Jaeyoon Kim, Hojoon LeeCCS 2024 · 1 citation
- CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded DevicesSaar Amar, Tony Chen, David Chisnall, Nathaniel Wesley Filardo et al.SOSP 2025 · 1 citation
- DangZero: Efficient Use-After-Free Detection via Direct Page Table AccessFloris Gorter, Koen Koning, Herbert Bos, Cristiano GiuffridaCCS 2022 · 15 citations
- Hardware Support for Constant-Time ProgrammingYuanqing Miao, Mahmut Taylan Kandemir, Danfeng Zhang, Yingtian Zhang et al.MICRO 2023 · 4 citations
