발표 정보 등록

등록 양식

발표자:	Sanggyu Lee
날짜:	2026-04-17
제목:
요약:
AI는 코드의 취약점을 찾거나 분석기를 생성하는 데 도움을 줄 수 있지만, 그 결과를 신뢰하기는 어렵습니다. ZooBerry는 사용자가 Rocq로 작성한 요약 의미(abstract semantics)를 바탕으로 분석기를 생성하고, 그 분석 결과를 검증할 수 있는 프레임워크입니다. ZooBerry 안에 AI를 가두면 검증된 분석기를 얻어 두 발 뻗고 잘 수 있습니다. 본 발표에서는 ZooBerry를 간단히 소개하고, AI를 활용해 끼어들기(Interrupt) 분석기를 생성하려는 계획을 설명합니다.
메모:	등록된 메모가 없습니다.
메모 파일 크기 제한: 메모 파일의 크기가 2MB보다 크면 웹에서의 업로드가 제한됩니다. 그럴 경우 해당 디렉토리에 파일(`YYMMDD_ID.pdf`)을 직접 복사해 주세요. 예) `snt_memo2/151225_skcho.pdf`