marcuse1w@lemmy.mlM to Ada@lemmy.ml · 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-up11arrow-down10file-text
arrow-up11arrow-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.commarcuse1w@lemmy.mlM to Ada@lemmy.ml · 3 years agomessage-square0fedilinkfile-text
