SHAKTI-MS: a RISC-V processor for memory safety in C-Reference-Cited by-同舟云学术

SHAKTI-MS: a RISC-V processor for memory safety in C

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2019
language:
Short-container-title:

Author:

Das Sourav¹,Unnithan R. Harikrishnan²,Menon Arjun¹,Rebeiro Chester¹,Veezhinathan Kamakoti¹

Affiliation:

1. IIT Madras, India

2. BITS Pilani, India

Funder

Ministry of Electronics and Information technology

Ministry of Human Resource Development

Publisher

ACM Press

Reference44 articles.

1. Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors. In 18th USENIX Security Symposium, Montreal, Canada, August 10-14, 2009, Proceedings . 51–66. http://www.usenix.org/events/sec09/tech/full_papers/akritidis.pdf

2. Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. 1994. Efficient Detection of All Pointer and Array Access Errors. In Proceedings of the ACM SIGPLAN’94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994 . 290–301. DOI:

3. Emery D. Berger and Benjamin G. Zorn. 2006. DieHard: probabilistic memory safety for unsafe languages. In Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006 . 158–168. DOI:

4. Bluespec Inc. 2003. Bluespec System Verilog. https://bluespec.com. (2003).

5. Miguel Castro, Manuel Costa, and Tim Harris. 2006. Securing Software by Enforcing Data-flow Integrity. In 7th Symposium on Operating Systems Design and Implementation (OSDI ’06), November 6-8, Seattle, WA, USA . 147–160. http://www.usenix.org/events/osdi06/tech/castro. html

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

1. SHAKTI Dual Lockstep Microprocessor: Ensuring Functional Integrity for Robust Computing;2024 IEEE International Conference on Contemporary Computing and Communications (InC4);2024-03-15

2. MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking;Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses;2023-10-16

3. RISC-V Extension for Optimized PWM Control;2023 27th International Conference on System Theory, Control and Computing (ICSTCC);2023-10-11

4. A Survey on Thwarting Memory Corruption in RISC-V;ACM Computing Surveys;2023-09-14

5. RISC-V Instruction Set Architecture Extensions: A Survey;IEEE Access;2023