Skip Navigation

When NVIDIA hired hackers to test the security of one of their applications written in SPARK / Ada for a Risk-V chip, they found a vulnerability in the RISC-V IVA instead!

blog.adacore.com When the RISC-V ISA is the Weakest Link

When the RISC-V ISA is the Weakest Link

When the RISC-V ISA is the Weakest Link

Formal proof triumphs. Read the full story

0
0 comments