Google DeepMind พิสูจน์ความปลอดภัยการเข้ารหัส Signal และ WhatsApp

Google DeepMind ได้ทำการวิเคราะห์และพิสูจน์ความปลอดภัยของโปรโตคอลการเข้ารหัสที่ใช้ใน Signal และ WhatsApp โดยใช้เทคนิคที่เรียกว่า “Formal…