Accelerating Meta Data Checks for Software Correctness and Security
@article{Chuang2007AcceleratingMD, title={Accelerating Meta Data Checks for Software Correctness and Security}, author={Weihaw Chuang and S. Narayanasamy and B. Calder}, journal={J. Instr. Level Parallelism}, year={2007}, volume={9} }
As high GHZ processors become prevalent, adding hardware support to ensure the correctness and security of programs will be just as important, for the average user, as further increases in processor performance. The goal of our research is to focus on developing compiler and hardware support for ecien tly performing software checks that can be left on all of the time, even in production code releases, to provide a signican t increase in the correctness and security of software. In this paper we… CONTINUE READING
Figures, Tables, and Topics from this paper
16 Citations
Hardbound: architectural support for spatial safety of the C programming language
- Computer Science
- ASPLOS
- 2008
- 174
- PDF
Practical low-overhead enforcement of memory safety for c programs
- Computer Science
- 2012
- 16
- Highly Influenced
- PDF
Watchdog: Hardware for safe and secure manual memory management and full memory safety
- Computer Science
- 2012 39th Annual International Symposium on Computer Architecture (ISCA)
- 2012
- 86
- Highly Influenced
- PDF
Exploration of Fine-Grained Helper Computing Parallelism on a Chip Multiprocessor
- Computer Science
- 2012
- PDF
ALEXIA: A Processor with Lightweight Extensions for Memory Safety
- Computer Science
- ACM Trans. Embed. Comput. Syst.
- 2020
- 1
- Highly Influenced
References
SHOWING 1-10 OF 24 REFERENCES
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
- Computer Science
- AADEBUG
- 1997
- 406
- PDF
Checking array bound violation using segmentation hardware
- Computer Science
- 2005 International Conference on Dependable Systems and Networks (DSN'05)
- 2005
- 37
- PDF
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants
- Computer Science
- 37th International Symposium on Microarchitecture (MICRO-37'04)
- 2004
- 136
- PDF
Low-Cost, Concurrent Checking of Pointer and Array Accesses in C Programs
- Computer Science
- Softw. Pract. Exp.
- 1997
- 60
- PDF
iWatcher: efficient architectural support for software debugging
- Computer Science
- Proceedings. 31st Annual International Symposium on Computer Architecture, 2004.
- 2004
- 151
- PDF