PQXDH

Google DeepMind laat AI-agenten Lean-bewijzen maken voor specifieke veiligheidsclaims over libsignal. De bewijzen reiken tot gecompileerde machinecode, maar gelden voor een beperkte testsituatie en niet voor de volledige Signal-app.