CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Jonathan Woodruff. CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. In Iris Bahar, Maurice Herlihy, Emmett Witchel, Alvin R. Lebeck, editors, Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019. pages 379-393, ACM, 2019. [doi]

@inproceedings{DavisWRNMBCCFGJ19,
  title = {CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment},
  author = {Brooks Davis and Robert N. M. Watson and Alexander Richardson and Peter G. Neumann and Simon W. Moore and John Baldwin and David Chisnall and James Clarke and Nathaniel Wesley Filardo and Khilan Gudka and Alexandre Joannou and Ben Laurie and A. Theodore Markettos and J. Edward Maste and Alfredo Mazzinghi and Edward Tomasz Napierala and Robert M. Norton and Michael Roe and Peter Sewell and Stacey D. Son and Jonathan Woodruff},
  year = {2019},
  doi = {10.1145/3297858.3304042},
  url = {https://doi.org/10.1145/3297858.3304042},
  researchr = {https://researchr.org/publication/DavisWRNMBCCFGJ19},
  cites = {0},
  citedby = {0},
  pages = {379-393},
  booktitle = {Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019},
  editor = {Iris Bahar and Maurice Herlihy and Emmett Witchel and Alvin R. Lebeck},
  publisher = {ACM},
  isbn = {978-1-4503-6240-5},
}