Arm releases experimental CHERI-enabled Morello board

Post by lacksconfidence » Fri, Jan 21, 2022, 5:54 PM UTC

jrtc27 wrote: post #22

lacksconfidence wrote: post #6

Earlier quoted context omitted.

Not OP, but that's not how I interpreted their comment. I interepreted it as the 70% they hope to have fixed will end up having edge cases not yet considered, and the protections will end up weaker than desired. No-one designed a processor to be susceptable to spectre and meltdown, once something moves into production there is significantly more incentive to investigate and find these flaws.

We do have formal proofs of various security properties at the architectural level that consider the entire architecture with all its complexities and warts. Speculative execution is of course a concern (and is an active area of research for us), though our belief is that the bounds information now present at the hardware level allows it to be tamed. Another concern is the interaction between undefined behaviour and…

Post by jrtc27 » Fri, Jan 21, 2022, 8:55 PM UTC

ProfHewitt wrote: post #82

jrtc27 wrote: post #80

Earlier quoted context omitted.

Your research on actor-based programming models has nothing to do with C/C++ spatial and temporal memory safety.

Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.