Cornucopia: Temporal Safety for CHERI Heaps
by Nathaniel Wesley Filardo and
Brett F. Gutstein and
Jonathan Woodruff and
Sam Ainsworth and
Lucian Paul-Trifu and
Brooks Davis and
Hongyan Xia and
Edward Tomasz Napierala and
Alexander Richardson and
John Baldwin and
David Chisnall and
Jessica Clarke and
Khilan Gudka and
Alexandre Joannou and
A. Theodore Markettos and
Alfredo Mazzinghi and
Robert M. Norton and
Michael Roe and
Peter Sewell and
Stacey D. Son and
Timothy M. Jones and
Simon W. Moore and
Peter G. Neumann and
Robert N. M. Watson