학계 협력이 아마존 고객 보안을 실서비스로 바꾸는 방법

2018년 7월 16일, Amazon Distinguished Scientist Byron Cook가 Oxford의 FloC에서 **cvc(cooperating validity checker)**를 소개하자, 이를 20년 가까이 연구해온 Stanford 교수 Clark Barrett가 현장에서 큰 자극을 받았다. 그 만남은 이후 수년간의 공동연구로 이어졌고, Barrett은 2023년 Amazon Scholar가 됐다.

초기에는 Amazon이 Stanford 공대의 Barrett 연구실에 Amazon Research Awards를 통해 소규모 지원을 제공했고, 연구가 진전되면서 더 큰 규모의 자금 지원으로 확대됐다. 이 협업과 깊은 기술 교류를 바탕으로 기존 cvc를 발전시킨 cvc5가 만들어졌고, 이는 학술 연구를 진전시키는 동시에 Amazon 고객과 산업 전반에 실질적인 가치를 제공했다.

cvc5는 현재 여러 Amazon 서비스의 핵심 검증 도구로 쓰인다. 특히 Amazon Bedrock의 Automated Reasoning checks에서 자연어 콘텐츠를 조직 정책과 대조해 검증하고, AWS 리소스 접근을 안전하게 관리하도록 돕는 access-policy analysis 도구에도 적용된다. 최근에는 새로운 agentic 개발 환경인 Kiro에서 specification analysis와 test generation에도 투입되기 시작했다.

이 도구는 지금 하루 약 10억 건의 solver calls를 처리하며 AWS 고객의 보안, 신뢰성, 내구성을 높이고 있다. Barrett과 AWS senior principal applied scientist Robert Jones는, 학계의 새로운 시각과 산업의 실제 문제를 연결하는 협업이야말로 잘 작동하는 연구 모델이라고 강조한다. 다만 중요한 것은 흥미로운 아이디어 자체보다도, 실제 문제에 맞는 접근을 찾고 대규모 테스트로 오류를 걸러내는 실용성이다.

두 사람은 결국 소통이 핵심이라고 본다. Amazon은 현장에서 마주치는 구체적인 문제를 더 공개적으로 공유하고, Barrett은 자신의 연구 의제를 설명하면서 서로의 관심사를 맞춰가야 학술 연구와 상용 시스템이 함께 성과를 낼 수 있다는 것이다.