it's not that it's unclear per se, it's just an untenable position to take. lazy example : a hardware-level side-channel attack is not rendered impossible simp

it's not that it's unclear per se, it's just an untenable position to take. lazy example : a hardware-level side-channel attack is not rendered impossible simply because the software was made with formal verification methods.