Signal Protocol Terbukti Aman Lewat Analisis Google DeepMind

Signal protocol, fondasi enkripsi end-to-end di Signal, WhatsApp, dan Google Messages, kini mendapat pengesahan baru. Sebuah analisis dari Google DeepMind menyatakan keamanan protokol ini sudah “formally verified” atau terverifikasi secara formal.

Hasil kerja tersebut digambarkan sebagai “a landmark development”, alias tonggak penting di dunia keamanan pesan.

Kenapa Signal protocol jadi acuan

Signal protocol sudah lama dianggap standar emas untuk pesan terenkripsi end-to-end. Edward Snowden termasuk tokoh yang vokal mendukungnya. Reputasinya memang sudah kuat, jadi kabar verifikasi formal ini lumayan menarik.

Verifikasi formal pada dasarnya membuktikan secara matematis bahwa sebuah sistem memenuhi sifat keamanan yang diklaimnya. Yang diverifikasi di sini adalah protokolnya.

Dampaknya untuk pengguna aplikasi pesan

Protokol yang sama dipakai di tiga aplikasi besar: Signal, WhatsApp, dan Google Messages. Artinya, hasil analisis ini menyangkut banyak sekali pengguna. Di Indonesia, WhatsApp dipakai luas untuk urusan pribadi maupun usaha, jadi protokol di balik aplikasi itu kini punya dukungan pembuktian yang lebih kuat.

Teks sumber yang kami baca baru memuat ringkasan awal dan terpotong. Detail metode serta cakupan analisisnya belum bisa kami bahas di sini.