3 ms·

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 5y ago
  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 5y ago
    Anyway, it's harder.