Peter Sewell

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

Peter G. Neumann, Robert N. M. Watson, Simon W. Moore, 2020, 2020 IEEE Symposium on Security and Privacy (SP).