HC2022.Arm.RichardGrisenthwaite.v1_0.pdf

《HC2022.Arm.RichardGrisenthwaite.v1_0.pdf》由会员分享，可在线阅读，更多相关《HC2022.Arm.RichardGrisenthwaite.v1_0.pdf（22页珍藏版）》请在三个皮匠报告上搜索。

1、 2022 ArmArm Morello Evaluation Platform-Validating CHERI-based Security in a High-performance SystemRichard GrisenthwaiteSVP Chief Architect and Fellow,ArmRichard.G2 Copyright 2022 Arm LimitedAcknowledgementsThis work was supported by the Defense Advanced Research Projects Agency(DARPA)and the Air

2、Force Research Laboratory(AFRL),under contract FA8750-10-C-0237(“CTSRD”),with additional support from FA8750-11-C-0249(“MRC2”),HR0011-18-C-0016(“ECATS”),and FA8650-18-C-7809(“CIFV”)as part of the DARPA CRASH,MRC,and SSITH research programs.The views,opinions,and/or findings contained in this report

3、are those of the authors and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S.Government.This work was supported in part by the Innovate UK project Digital Security by Design(DSbD)Technology Platform Prototype,105694.We also acknowledge

4、 the EPSRC REMS Programme Grant(EP/K008528/1),the ERC ELVER Advanced Grant(789108),the Isaac Newton Trust,the UK Higher Education Innovation Fund(HEIF),Thales E-Security,Microsoft Research Cambridge,Arm Limited,Google,Google DeepMind,HP Enterprise,and the Gates Cambridge Trust.University of Cambridg

5、e,SRI International,etc Contributors on CHERI:Robert N.M.Watson,Simon W.Moore,Peter Sewell,Peter G.Neumann,Hesham Almatary,Jonathan Anderson,Alasdair Armstrong,Peter Blandford-Baker,Rosie Baish,John Baldwin,Hadrien Barrel,Thomas Bauereiss,Ruslan Bukin,Brian Campbell,David Chisnall,Jessica Clarke,Nir

6、av Dave,Brooks Davis,Lawrence Esswood,Nathaniel W.Filardo,Franz Fuchs,Dapeng Gao,Khilan Gudka,Brett Gutstein,Alexandre Joannou,Mark Johnston,Robert Kovacsics,Ben Laurie,A.Theo Markettos,J.Edward Maste,Alfredo Mazzinghi,Alan Mujumdar,Prashanth Mundkur,Steven J.Murdoch,Edward Napierala,George Neville-