Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. Neumann, Robert Norton, and Michael Roe. ACM/IEEE ISCA 2014, 2014.
Introduces the practical RISC capability model that underpins the early CHERI architecture.