To be fair, the DRAM bit flipping thing doesn’t work on ECC RAM, and any half-decent server (especially if you run an AI on it) should have ECC RAM.
But the main idea remains yes : even a program proven to be secure can be defeated by attacking one of the assumptions made (such as the hardware being 100% reliable, which it rarely is) in the proof. Proving a program to be secure down from applying Schrödinger’s equation on the quarks and electrons the computer is made of is way beyond our current abilities, and will remain so for a very long time.
Proving a program to be secure down from applying Schrödinger’s equation on the quarks and electrons the computer is made of is way beyond our current abilities, and will remain so for a very long time.
Challenge accepted! We can do this, we just need some help from a provably friendly artificial superintelligence! Oh wait...
To be fair, the DRAM bit flipping thing doesn’t work on ECC RAM, and any half-decent server (especially if you run an AI on it) should have ECC RAM.
But the main idea remains yes : even a program proven to be secure can be defeated by attacking one of the assumptions made (such as the hardware being 100% reliable, which it rarely is) in the proof. Proving a program to be secure down from applying Schrödinger’s equation on the quarks and electrons the computer is made of is way beyond our current abilities, and will remain so for a very long time.
Challenge accepted! We can do this, we just need some help from a provably friendly artificial superintelligence! Oh wait...