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

Presents the pure-capability CheriABI process environment and its treatment of pointer provenance and privilege.

Authors

Brooks DavisRobert WatsonAlex RichardsonPeter G. NeumannSimon MooreJohn BaldwinDavid ChisnallJessica ClarkeNathaniel Wesley FilardoKhilan GudkaAlexandre Joannou

Citation

Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, and others. ACM ASPLOS 2019, 2019.