Signal

Google DeepMind araştırmacıları, Signal protokolünün temel kriptografik garantilerinin birkaçını matematiksel olarak kanıtlamak için AlphaProof Code adlı yeni bir yapay zeka çerçevesi kullandı. WIRED'ın 10 Kasım tarihli haberine göre, dört haftalık kavram kanıtlama projesi, protokolün incelenen kısımlarında yeni bir güvenlik açığı…