zlacker

>>feross+(OP)
The only practical security is security through isolation, like what Qubes OS provides. Security through correctness is impossible.

>>fsflov+Vp
Stupid question: how do you know your isolation is correct?

>>ttymck+Rr
You test for it with rigor and incorporate new learning, just like every other engineering discipline.