연구소/벤더
Google DeepMind AlphaProof Code, Signal 암호 프로토콜 코드 형식 검증 성공
AI가 Signal 프로토콜을 구현한 연구용 실행 코드가 정해진 가정 아래 특정 보안 속성을 만족한다는 것을 수학적으로 증명한 거예요. 메신저 전체에 모든 종류의 결함이 없다는 뜻은 아닙니다
Google DeepMind
태그
‘Signal’ 태그가 달린 글 1건
AI가 Signal 프로토콜을 구현한 연구용 실행 코드가 정해진 가정 아래 특정 보안 속성을 만족한다는 것을 수학적으로 증명한 거예요. 메신저 전체에 모든 종류의 결함이 없다는 뜻은 아닙니다