Penn Logo
Vertical Line

Implementation of Computation Group

Divider

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