Low-Fat Pointers Bluespec Source Distribution
This page links to a distribution source archive for:
Low-Fat Pointers: Compact Encoding and Efficient Gate-Level Implementation of Fat Pointers for Spatial Safety and Capability-based Security
- tar file with source distribution
(30 KB), includes:
- Bluespec System Verilog for ARIES fat-pointer encoding scheme
- Bluespec System Verilog for BIMA fat-pointer encoding scheme
- Makefile and instructions -- see README in tar file
Acknowledgment
This material is based upon work supported by the DARPA CRASH program
through the United States Air Force Research Laboratory (AFRL) under
Contract No. FA8650-10-C-7090. The views expressed are those of the authors
and do not reflect the official policy or position of the Department of
Defense or the U.S. Government.
|
