뉴스해외
Google DeepMind의 새 AI 도구가 Signal 프로토콜의 안전성을 증명하다
원제 · A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
WIRED
DeepMind 연구진은 널리 사용되는 암호화 프로토콜이 의도대로 작동함을 형식 검증했으며, 궁극적으로 세상의 모든 소프트웨어에 이를 적용하는 것을 목표로 한다.
한국어 요약 · 원문 제목과 발췌를 AI 가 옮긴 것으로, 정확한 내용은 원문에서 확인해 주세요.
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
원문의 저작권은 WIRED에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.