Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Kyndylan Nienhuis and Alexandre Joannou and Thomas Bauereiss and Anthony Fox and Michael Roe and Brian Campbell and Matthew Naylor and Robert M. Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N. M. and Peter Sewell

Journal title: Proceedings of the 41st IEEE Symposium on Security and Privacy (SP)

Journal number: 41

Journal publisher: IEEE Computer Society

Published year: 2020

Published pages: 1007--1024

DOI identifier: 10.1109/sp40000.2020.00055