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)
Statistics


Total file downloads (since January 2020). For more information on metrics see the IRUS guide.