Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell
You have not yet installed the PubPeer browser plugin and will not see PubPeer comments on other websites. Install it here!
Search publications for: doi:10.1109/SP40000.2020.00055 1 result
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell