Penn Logo
Vertical Line

Implementation of Computation Group


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


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.
Room# 315, 200 South 33rd Street, Electrical and Systems Engineering Department, University of Pennsylvania, Philadelphia, PA 19104.