CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps'
Authors
Sam Ainsworth
John Baldwin
+22Â more
David Chisnall
Jessica Clarke
Brooks Davis
Nathaniel Filardo
Khilan Gudka
Brett Gutstein
Alexandre Joannou
Timothy M Jones
A Theodore Markettos
Alfredo Mazzinghi
Simon W Moore
Edward Napierala
Peter G Neumann
Robert M Norton
Lucian Paul-Trifu
Alexander Richardson
Michael Roe
Peter Sewell
Stacey Son
Robert NM Watson
Jonathan Woodruff
Hongyan Xia
Publication date
1 April 2020
Publisher
Doi
Cite
Abstract
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
Similar works
Full text
Available Versions
Sustaining member
Apollo (Cambridge)
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:www.repository.cam.ac.uk:1...
Last time updated on 05/04/2020