Google DeepMind just mathematically verified key parts of Signal

The four-week project hints that AI could make formal verification far more practical.
This article has been indexed from Security – Ars Technica

Read the original article:

Google DeepMind just mathematically verified key parts of Signal