Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Timothy M. Jones 0001, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson. Cornucopia: Temporal Safety for CHERI Heaps. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 608-625, IEEE, 2020. [doi]
@inproceedings{FilardoGWAPDXNR20,
title = {Cornucopia: Temporal Safety for CHERI Heaps},
author = {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 0001 and Simon W. Moore and Peter G. Neumann and Robert N. M. Watson},
year = {2020},
doi = {10.1109/SP40000.2020.00098},
url = {https://doi.org/10.1109/SP40000.2020.00098},
researchr = {https://researchr.org/publication/FilardoGWAPDXNR20},
cites = {0},
citedby = {0},
pages = {608-625},
booktitle = {2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020},
publisher = {IEEE},
}