Caută Aplicația

IT și tehnologie · Programare

Google DeepMind combină oameni și agenți AI pentru a verifica tehnicile de mesagerie securizată ale Signal

4 publicații au scris despre asta prima relatare: The Register, cea mai nouă: 4 din presa străină

Foto: The Register

Echipa Google DeepMind a folosit o combinație de cercetători umani și agenți AI pentru a supune unei verificări formale de securitate tehnicile Signal, inclusiv handshake-ul post-cuantic și Triple Ratchet. Verificarea urmărește să confirme că mecanismele de criptare ale aplicației de mesagerie funcționează conform intenției, chiar și în fața atacurilor viitoare de tip cuantic.

Rezumat în română, scris automat de FluxRo după articolul publicat de The Register.

Cum au relatat publicațiile

  1. The Register · · primii care au scris · în engleză

    Google DeepMind combină oameni și agenți AI pentru a verifica tehnicile de mesagerie securizată ale Signal ↗

  2. 9to5Mac · · în engleză

    Analiza Google DeepMind confirmă că criptarea Signal și WhatsApp este sigură ↗

    O analiză realizată de Google DeepMind a "verificat formal" securitatea protocolului Signal, considerat de mult timp standardul de aur pentru mesageria criptată end-to-end. Același protocol este folosit și de WhatsApp și Google Messages, iar lucrarea a fost descrisă drept „un progres de referință”.

  3. Ars Technica AI · · în engleză

    Google DeepMind tocmai a verificat matematic părți esențiale din Signal ↗

    Un proiect de patru săptămâni al Google DeepMind a verificat matematic părți-cheie ale Signal, aplicația de mesagerie. Rezultatul sugerează că inteligența artificială ar putea face verificarea formală mult mai practică.

  4. The Decoder · · în engleză

    Codul AlphaProof de la Google Deepmind a verificat nucleul criptografic al Signal în patru săptămâni, în loc de ani ↗

    Codul AlphaProof de la Google Deepmind a verificat matematic nucleul criptografic al Signal în patru săptămâni, un proces care de obicei durează ani. Agenți AI alimentați de Gemini Carbon au scris peste șase milioane de linii de cod de demonstrație, iar doar aproximativ un procent au fost semnalate pentru verificare umană. Deepmind intenționează să extindă metoda la infrastructură critică, precum rețelele electrice și dispozitivele medicale.

Fiecare titlu duce la articolul publicației. Textele de sub titluri sunt fragmente din articole; la relatările în engleză, titlul și rezumatul sunt scrise în română de FluxRo.

Mai multe din Programare