davel@lemmy.ml to AI@lemmy.mlEnglish · 23 days 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 · 23 days agomessage-square20linkfedilinkcross-posted to: Aii@programming.dev
minus-squareeleitl@lemmy.ziplinkfedilinkarrow-up4·23 days 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.