코멘트 등록

모든 코멘트는 발표 전날 18:00에 이메일로 공지됩니다. 그 전까지는 다른 사람의 코멘트를 볼 수 없습니다. 소신껏 코멘트해 주시길 바랍니다.

괄호 안의 사람들이 코멘터입니다.

등록 양식

발표자:	Sanggyu Lee
날짜:	2026-04-17
제목:	AI로 검증된 분석기 만들기
요약:
AI는 코드의 취약점을 찾거나 분석기를 생성하는 데 도움을 줄 수 있지만, 그 결과를 신뢰하기는 어렵습니다. ZooBerry는 사용자가 Rocq로 작성한 요약 의미(abstract semantics)를 바탕으로 분석기를 생성하고, 그 분석 결과를 검증할 수 있는 프레임워크입니다. ZooBerry 안에 AI를 가두면 검증된 분석기를 얻어 두 발 뻗고 잘 수 있습니다. 본 발표에서는 ZooBerry를 간단히 소개하고, AI를 활용해 끼어들기(Interrupt) 분석기를 생성하려는 계획을 설명합니다.
메모:	등록된 메모가 없습니다.
코멘트: