Automated system mathematically proves core security features in popular messaging software

Researchers verified the underlying code of the Signal security protocol in four weeks using automated proof generating software. The platform wrote millions of lines of computer checked mathematical verification, confirming that user conversations remain protected against unexpected software breaches.