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

researchr

You are not signed in
Sign in
Sign up

Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony C. J. Fox, Michael Roe, Brian Campbell 0001, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell. Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 1003-1020, IEEE, 2020. [doi]

This author has not been identified. Look up 'Kyndylan Nienhuis' in GoogleThis author has not been identified. Look up 'Alexandre Joannou' in GoogleThis author has not been identified. Look up 'Thomas Bauereiss' in GoogleThis author has not been identified. Look up 'Anthony C. J. Fox' in GoogleThis author has not been identified. Look up 'Michael Roe' in GoogleThis author has not been identified. Look up 'Brian Campbell 0001' in GoogleThis author has not been identified. Look up 'Matthew Naylor' in GoogleThis author has not been identified. Look up 'Robert M. Norton' in GoogleThis author has not been identified. Look up 'Simon W. Moore' in GoogleThis author has not been identified. Look up 'Peter G. Neumann' in GoogleThis author has not been identified. Look up 'Ian Stark' in GoogleThis author has not been identified. Look up 'Robert N. M. Watson' in GoogleThis author has not been identified. Look up 'Peter Sewell' in Google

runs on WebDSL