Secure automatic bounds checking: prevention is simpler than cure-Reference-Cited by-同舟云学术

Secure automatic bounds checking: prevention is simpler than cure

Published:2020-02-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization
language:
Short-container-title:

Author:

Ojogbo Ejebagom John¹,Thottethodi Mithuna¹,Vijaykumar T. N.¹

Affiliation:

1. Purdue University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3368826.3377921

Reference52 articles.

1. ARM. 2018. Cache Speculation Side-channels. https: //developer.arm.com/support/arm-security-updates/speculativeprocessor-vulnerability/download-the-whitepaper . (2018). ARM. 2018. Cache Speculation Side-channels. https: //developer.arm.com/support/arm-security-updates/speculativeprocessor-vulnerability/download-the-whitepaper . (2018).

2. ARM Limited 2018. Arm Instruction Set. Version 1.0. Reference Guide. ARM Limited. http:// infocenter.arm.com/help/topic/com.arm.doc.100076 0 100 0 0 e n/ arm i nstruction s et r eference g uide 1 00076 0 100 0 0 e n.pdf ARM Limited 2018. Arm Instruction Set. Version 1.0. Reference Guide. ARM Limited. http:// infocenter.arm.com/help/topic/com.arm.doc.100076 0 100 0 0 e n/ arm i nstruction s et r eference g uide 1 00076 0 100 0 0 e n.pdf

3. Mathias Bynens. 2018. Untrusted code mitigations. https://github.com/ v8/v8/wiki/Untrusted-code-mitigations . (2018). Mathias Bynens. 2018. Untrusted code mitigations. https://github.com/ v8/v8/wiki/Untrusted-code-mitigations . (2018).

4. Chandler Carruth. 2018. Speculative Load Hardening. https://docs.google.com/document/d/ 1wwcfv3UV9ZnZVcGiGuoITT 6 1e K o3TmoCS3uXLcJR0/ edit#heading =h.phdehs44eom6 . (2018). Chandler Carruth. 2018. Speculative Load Hardening. https://docs.google.com/document/d/ 1wwcfv3UV9ZnZVcGiGuoITT 6 1e K o3TmoCS3uXLcJR0/ edit#heading =h.phdehs44eom6 . (2018).

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors;IEEE Transactions on Computers;2023-01-01

2. HyBP: Hybrid Isolation-Randomization Secure Branch Predictor;2022 IEEE International Symposium on High-Performance Computer Architecture (HPCA);2022-04