Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps'

Thumbnail
View / Open Files
Authors
Filardo, Nathaniel
Gutstein, Brett
Woodruff, Jonathan
  Ainsworth, Sam
Paul-Trifu, Lucian
Davis, Brooks
Xia, Hongyan
Publication Date
2020-04-01
Type
Dataset
Metadata
Show full item record
Citation
Filardo, N., Gutstein, B., Woodruff, J., Ainsworth, S., Paul-Trifu, L., Davis, B., Xia, H., et al. (2020). Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps' [Dataset]. https://doi.org/10.17863/CAM.51028
Description
Source code for CheriBSD, snmalloc, dlmalloc, and the allocator shim ("mrs") used for the Cornucopia experiments. See README.txt file for details of each file and associated licences.
Format
Modified CheriBSD, snmalloc, and dlmalloc; new mrs wrapper.
Keywords
temporal safety
Relationships
Publication Reference: https://doi.org/10.1109/SP40000.2020.00098https://www.repository.cam.ac.uk/handle/1810/304040
Identifiers
This record's DOI: https://doi.org/10.17863/CAM.51028

Rights
Various (see README.txt), Various (see README.txt), Various (see README.txt)