Memory safety

相关论文数: 1

顶级研究者

Peter G. Neumann

研究机构: —

Robert N. M. Watson

研究机构: —

Hongyan Xia

研究机构: —

Jonathan Woodruff

研究机构: —

Hadrien Barral

研究机构: —

Lawrence Esswood

研究机构: —

Alexandre Joannou

研究机构: —

Robert Kovacsics

研究机构: —

David Chisnall

研究机构: —

Michael Roe

研究机构: —

最高引用论文

CheriRTOS: A Capability Model for Embedded Devices

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

引用数: 20 • 2018

相关技术

Computer scienceTask (project management)EngineeringDistributed computingSoftwareEmbedded systemOperating systemAutomotive industryScalabilityIsolation (microbiology)