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, combinând cercetători umani și agenți AI, a verificat formal părți-cheie ale protocoalelor de criptare ale Signal, inclusiv handshake-ul post-cuantic și Triple Ratchet. Potrivit The Decoder, proiectul a durat patru săptămâni, deși verificările de acest tip durează de obicei ani, iar agenții au scris peste șase milioane de linii de cod de demonstrație, dintre care aproximativ un procent au fost semnalate pentru verificare umană. 9to5Mac notează că același protocol stă la baza WhatsApp și Google Messages, iar Ars Technica arată că rezultatul sugerează că verificarea formală ar putea deveni mult mai practică. The Decoder scrie și că DeepMind intenționează să extindă metoda la infrastructură critică, precum rețelele electrice și dispozitivele medicale.

Rezumat scris automat de ClipaNews din ce au relatat publicațiile de mai jos. Pentru detalii, citește articolele lor.

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 ↗

    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.

  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 · · î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 ClipaNews.

Mai multe din Programare