The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Complete spatial safety for C and C++ using CHERI capabilities

The work

AuthorsAlexander Richardson
Editors
Typephdthesis
Year2019
Citekeyrichardson2019complete

How it got here

How it got hereagent via bibtex
Added2026-10-25 20:26 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@phdthesis{richardson2019complete,
  title        = {Complete spatial safety for C and C++ using CHERI capabilities},
  author       = {Alexander Richardson},
  year         = {2019},
}

This record lives at https://refs.drheap.org/richardson2019complete/ and will keep doing so.