Google DeepMind just mathematically verified key parts of Signal
The four-week project hints that AI could make formal verification far more practical.
Read at Ars Technica (security)
- Vendor
Why it ranks 17 (Routine)
- Reporting
- Recency: items published within 24 hours gain 15, within 72 hours 6, within 7 days 2.
Links
- Ars Technica (security) (arstechnica.com)