Research data supporting "CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety"

Xia, Hongyan; Woodruff, Jonathan; Ainsworth, Sam; Filardo, Nathaniel; Roe, Michael; Richardson, Alexander; Rugg, Peter; Neumann, Peter; Moore, Simon; Watson, Robert; Jones, Timothy M.

View / Open Files

micro2019-cherivoke.tar.xz (Unknown, 43Kb)

README.md (Unknown, 3Kb)

Authors

Xia, Hongyan

Woodruff, Jonathan

Ainsworth, Sam

Filardo, Nathaniel

Roe, Michael

Richardson, Alexander

Rugg, Peter

Publication Date

2019-08-29

Type

Dataset

Metadata

Show full item record

Citation

Xia, H., Woodruff, J., Ainsworth, S., Filardo, N., Roe, M., Richardson, A., Rugg, P., et al. (2019). Research data supporting "CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety" [Dataset]. https://doi.org/10.17863/CAM.42436

Description

Source code for sweeper and modified dlmalloc (called dlmalloc_cherivoke) that implements the CHERIvoke technique. See the file README.md for a detailed description and usage instructions.

Format

Modified dlmalloc

Keywords

microarchitecture, temporal safety

Relationships

Publication Reference: https://doi.org/10.1145/3352460.3358288 https://www.repository.cam.ac.uk/handle/1810/296287

Sponsorship

EPSRC (EP/K026399/1)

Identifiers

This record's DOI: https://doi.org/10.17863/CAM.42436

Rights

FreeBSD, FreeBSD, FreeBSD, FreeBSD, FreeBSD, FreeBSD, FreeBSD