Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
by Kyndylan Nienhuis and
Alexandre Joannou and
Thomas Bauereiss and
Anthony C. J. Fox and
Michael Roe and
Brian Campbell and
Matthew Naylor and
Robert M. Norton and
Simon W. Moore and
Peter G. Neumann and
Ian Stark and
Robert N. M. Watson and
Peter Sewell