With funding of DARPA how sure can we be that it will not have a backdoor? Is th... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		stan_g on Jan 20, 2022 \| parent \| context \| favorite \| on: Arm releases experimental CHERI-enabled Morello bo... 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?

trasz on Jan 20, 2022 [–]

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.

ncmncm on Jan 20, 2022 | [–]

Anyway, it's harder.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact