@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-square0arrow-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.com@marcuse1wM to Ada • 3 years agomessage-square0file-text