TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

What’s the Smallest Variety of CHERI? (2022)

46 点作者 bshanks超过 1 年前

4 条评论

gchadwick超过 1 年前
Since this was published MS have published the RTL of their CHERIoT Ibex variant: <a href="https:&#x2F;&#x2F;github.com&#x2F;microsoft&#x2F;cheriot-ibex">https:&#x2F;&#x2F;github.com&#x2F;microsoft&#x2F;cheriot-ibex</a>. There&#x27;s also the full technical report and software stack including RTOS available: <a href="https:&#x2F;&#x2F;www.microsoft.com&#x2F;en-us&#x2F;research&#x2F;publication&#x2F;cheriot-rethinking-security-for-low-cost-embedded-systems&#x2F;" rel="nofollow noreferrer">https:&#x2F;&#x2F;www.microsoft.com&#x2F;en-us&#x2F;research&#x2F;publication&#x2F;cheriot...</a><p>I always thought it made more sense to try introducing capabilities on higher-performance applications (all the stuff you might use an arm A-class for) given they are pretty heavyweight. This is what Arm&#x27;s Morello (<a href="https:&#x2F;&#x2F;www.arm.com&#x2F;architecture&#x2F;cpu&#x2F;morello" rel="nofollow noreferrer">https:&#x2F;&#x2F;www.arm.com&#x2F;architecture&#x2F;cpu&#x2F;morello</a>) offer. However introducing them at the low end, in the embedded space, instead may work a lot better. Within the A-class processor space there&#x27;s a huge software ecosystem to work with and your software likely comes from multiple vendors, it&#x27;s an uphill struggle to inject capabilities into that space, especially if you want to make full use of them.<p>With embedded applications you tend to have far tighter control over the whole software stack, there&#x27;s a lot more vertical integration and it&#x27;s pretty static. Once you&#x27;ve deployed your product it&#x27;s doing the same job day in day out. You need occasional updates, maybe the odd new feature but it&#x27;s a very different world to the software stack on the typical phone. So overall easier for a single company or group to say &#x27;yes let&#x27;s try capabilities&#x27; and just get on and do it.<p>Security is potentially a lot more critical in these applications as well. Everyone knows IoT security is a joke but regulators are watching this too and there will be future legislation that will put a lot more liability on the manufacturers of IoT devices and they&#x27;ll need to demonstrate they&#x27;ve taken security seriously, using a capability based system is one way to do that.<p>Operational technology (industrial IoT) is also a key area of concern for security. Having unsecure internet enabled operational technology running critical infrastructure and industrial processes is clearly a major issue. The various cyber security agencies across the western world recognise this and published a guide: <a href="https:&#x2F;&#x2F;www.cisa.gov&#x2F;resources-tools&#x2F;resources&#x2F;secure-by-design-and-default" rel="nofollow noreferrer">https:&#x2F;&#x2F;www.cisa.gov&#x2F;resources-tools&#x2F;resources&#x2F;secure-by-des...</a> urging security by design and default and it explicitly mentions CHERI. Again the initial costs and work to introduce capabilities become very justifiable against the security (and critically for companies, liability reduction) benefits.
评论 #37491229 未加载
评论 #37479524 未加载
pjmlp超过 1 年前
Read also the follow-up post,<p>&quot;First steps in CHERIoT Security Research&quot;<p><a href="https:&#x2F;&#x2F;msrc.microsoft.com&#x2F;blog&#x2F;2023&#x2F;02&#x2F;first-steps-in-cheriot-security-research&#x2F;" rel="nofollow noreferrer">https:&#x2F;&#x2F;msrc.microsoft.com&#x2F;blog&#x2F;2023&#x2F;02&#x2F;first-steps-in-cheri...</a><p>Ironically, the future of secure computing is bringing back memory tagging.
评论 #37478221 未加载
评论 #37479291 未加载
dang超过 1 年前
In case anyone else needs basic background:<p><a href="https:&#x2F;&#x2F;www.cl.cam.ac.uk&#x2F;research&#x2F;security&#x2F;ctsrd&#x2F;cheri&#x2F;" rel="nofollow noreferrer">https:&#x2F;&#x2F;www.cl.cam.ac.uk&#x2F;research&#x2F;security&#x2F;ctsrd&#x2F;cheri&#x2F;</a>
mikewarot超过 1 年前
I really like the way they separated execution and writing memory capabilities. This makes it possible to write code, then run it, using separate capabilities, but no code can modify itself directly by mistake.