마이크로소프트 김은수 선임보안연구원

팀 애틀랜타(Team Atlanta)는 DARPA AI Cyber Challenge(AIxCC) 최종 라운드에서 우승하며 AI 기반 취약점 탐지 및 수정 기술의 가능성을 입증했다. 본 세션에서는 AIxCC 우승을 이끈 기술적 접근법을 소개하고, LLM과 프로그램 분석 기법을 결합해 취약점을 탐지·수정한 경험을 공유한다. 또한 이러한 연구가 Microsoft MDASH로 발전하며 대규모 소프트웨어 환경에서 하이퍼스케일 취약점 탐지 시스템으로 확장된 과정을 소개하고, 실제 시스템 구현 과정에서 얻은 기술적 인사이트와 경험을 공유한다.