CHERI Concentrate: Practical Compressed Capabilities

Explains the compressed capability representation used to carry bounds and permissions efficiently.

Authors

Jonathan WoodruffAlexandre JoannouHongyan XiaAnthony FoxRobert M. NortonThomas BauereissDavid ChisnallBrooks DavisKhilan GudkaNathaniel Wesley FilardoA. Theodore MarkettosMichael RoePeter G. NeumannRobert WatsonSimon Moore

Citation

Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony Fox, Robert Norton, Thomas Bauereiss, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel W. Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, and Simon W. Moore. IEEE Transactions on Computers, 2019.

Image preview