davel@lemmy.ml to AI@lemmy.mlEnglish · 3 months agoNobody puts Claude in a cornerlemmy.mlimagemessage-square20linkfedilinkarrow-up1178arrow-down14cross-posted to: Aii@programming.dev
arrow-up1174arrow-down1imageNobody puts Claude in a cornerlemmy.mldavel@lemmy.ml to AI@lemmy.mlEnglish · 3 months agomessage-square20linkfedilinkcross-posted to: Aii@programming.dev
minus-squareeleitl@lemmy.ziplinkfedilinkarrow-up4·3 months agoEven if your tools have been all verified with formal proofs you can still attack the hardware directly as a side channel.
Even if your tools have been all verified with formal proofs you can still attack the hardware directly as a side channel.