zlacker

[parent] [thread] 2 comments
1. stan_g+(OP)[view] [source] 2022-01-20 15:11:39
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?
replies(1): >>trasz+61
2. trasz+61[view] [source] 2022-01-20 15:17:07
>>stan_g+(OP)
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.

replies(1): >>ncmncm+Ry
◧◩
3. ncmncm+Ry[view] [source] [discussion] 2022-01-20 17:37:03
>>trasz+61
Anyway, it's harder.
[go to top]