News for hackers. Stuff that matters.
Re:Arm releases experimental CHERI-enabled Morello board by stan_g on Thursday January 20, 2022 @10:11AM (#30009836)
With funding of DARPA how sure can we be that it will not have a backdoor? Is there a way to proof that there is no backdoor to the security features?
Re:Arm releases experimental CHERI-enabled Morello board by trasz on Thursday January 20, 2022 @10:17AM (#30009904)
The MIPS and RISC-V CHERI implementations are open, you can audit the BlueSpec. The entire software stack is open too.

Note however that CHERI is not just an implementation; it’s a design, an idea. You can’t backdoor that.

Re:Arm releases experimental CHERI-enabled Morello board by ncmncm on Thursday January 20, 2022 @12:37PM (#30011997)
Anyway, it's harder.