Onderzoekers van Google DeepMind hebben met behulp van AI-agenten belangrijke beveiligingseigenschappen van de code achter het Signal Protocol wiskundig geverifieerd. Het Signal Protocol beschermt miljarden privégesprekken via apps zoals Signal, WhatsApp en Google Berichten.
De onderzoekers gebruikten AlphaProof Code, een zogeheten multi-LLM agentic framework dat het werk van formele verificatie op een vergelijkbare manier als een onderzoeksteam verdeeld: menselijke experts werken samen met AI om te bepalen wat bewezen moet worden, waarna een groep AI-agenten de bewijzen genereert.
In slechts vier weken tijd genereerden en controleerden de AI-agenten miljoenen regels aan wiskundige bewijzen. Daarmee toonden ze aan dat belangrijke beveiligingseigenschappen van het Signal Protocol daadwerkelijk standhouden.
Om te testen of het systeem kwetsbaarheden kon herkennen, brachten de onderzoekers bewust twee eerder verholpen bugs opnieuw aan in een geïsoleerde versie van de Signal-code. AlphaProof Code wist beide problemen succesvol te identificeren en leverde bewijs waaruit bleek dat de aangepaste code niet veilig was.
De Chief Technology Officer (CTO) van Signal reageerde op het onderzoek:
“Waar eerdere formele verificatie zich richtte op kleinere delen van de code, maakt de aanpak van Google DeepMind een aanzienlijke uitbreiding mogelijk. Het gebruik van AI-agenten om bestaande code om te zetten in geldige Lean-stellingen is een grote doorbraak. Nu beveiligingsdreigingen die door AI worden aangedreven toenemen, geeft het grondig verifiëren van de implementatie van het Signal Protocol ons nog meer vertrouwen in de privacygaranties van onze code.”
Hoewel het Signal Protocol al uitgebreid is onderzocht door beveiligingsexperts, biedt AlphaProof Code een extra laag van zekerheid. Dit is een belangrijke stap richting nog betrouwbaardere beveiligde communicatie en laat zien hoe AI kan bijdragen aan het verder versterken van de beveiliging van cruciale software.
Blijf op de hoogte
Wil je op de hoogte blijven van het laatste Signal-nieuws en updates, volg ons dan op Bluesky of Mastodon.
