RealFeedApp Google DeepMind за четыре недели доказал безопасность Signal
Исследователи DeepMind использовали агентного ИИ для формальной верификации криптографических свойств Signal за четыре недели. Это независимая проверка защищенности сообщений в приложении и Google Messages.
- Область
- компьютерная безопасность
- Что сделали
- Исследователи Google DeepMind использовали агентское искусственное интеллекта для математического доказательства ключевых криптографических гарантий протокола Signal.
- Зачем это
- Это служит независимой валидацией защиты коммуникаций на платформах вроде Signal, Google Messages и WhatsApp.
#formal verification#ai#signal protocol#cryptography#deepmind#agentic ai
