CheriRTOS: A Capability Model for Embedded Devices - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongyan Xia, Jonathan Woodruff, Hadrien Barral, Lawrence Esswood, Alexandre Joannou, Robert Kovacsics, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alexander Richardson, Simon W. Moore, Robert N. M. Watson. CheriRTOS: A Capability Model for Embedded Devices. In 36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018. pages 92-99, IEEE, 2018. [doi]

This author has not been identified. Look up 'Hongyan Xia' in GoogleThis author has not been identified. Look up 'Jonathan Woodruff' in GoogleThis author has not been identified. Look up 'Hadrien Barral' in GoogleThis author has not been identified. Look up 'Lawrence Esswood' in GoogleThis author has not been identified. Look up 'Alexandre Joannou' in GoogleThis author has not been identified. Look up 'Robert Kovacsics' in GoogleThis author has not been identified. Look up 'David Chisnall' in GoogleThis author has not been identified. Look up 'Michael Roe' in GoogleThis author has not been identified. Look up 'Brooks Davis' in GoogleThis author has not been identified. Look up 'Edward Napierala' in GoogleThis author has not been identified. Look up 'John Baldwin' in GoogleThis author has not been identified. Look up 'Khilan Gudka' in GoogleThis author has not been identified. Look up 'Peter G. Neumann' in GoogleThis author has not been identified. Look up 'Alexander Richardson' in GoogleThis author has not been identified. Look up 'Simon W. Moore' in GoogleThis author has not been identified. Look up 'Robert N. M. Watson' in Google

runs on WebDSL