marcuse1wM to Ada · 3 years agoWhen 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.comexternal-linkmessage-square0fedilinkarrow-up17arrow-down10file-text
arrow-up17arrow-down1external-linkWhen 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.commarcuse1wM to Ada · 3 years agomessage-square0fedilinkfile-text
