홈으로
발표 정보 등록
등록 양식
발표자:
Chaehwan Shin
날짜:
2026-06-05
제목:
요약:
2026년 6월 5일 발표에서는 AI를 활용해 안전한 정적 분석기를 생성하는 방법에 관한 연구를 소개하고자 합니다. 이를 위해 (1) 먼저 정적 분석에 관해 간단히 짚어 보고 (2) AI에게 어떤 부분을 안전하게 시킬 수 있을지를 살펴볼 것입니다. 이후 (3) 간단한 모의실험의 결과를 보이고 (4) 추가로 고려해야 할 것을 간단히 이야기할 예정입니다.
메모:
등록된 메모가 없습니다.
메모 파일 크기 제한
: 메모 파일의 크기가 2MB보다 크면 웹에서의 업로드가 제한됩니다. 그럴 경우 해당 디렉토리에 파일(
YYMMDD_ID.pdf
)을 직접 복사해 주세요.
예)
snt_memo2/151225_skcho.pdf
쇼앤텔 일정
2026-08-21 09:00 @ Bldg 302, Rm 309-1
Chaehwan Shin
2026-09-04 09:00 @ Bldg 302, Rm 309-1
Hyeongseo Yoo
2026-09-11 09:00 @ Bldg 302, Rm 309-1
Doyoon Lee
2026-09-18 09:00 @ Bldg 302, Rm 309-1
Wonjun Jung
2026-10-02 09:00 @ Bldg 302, Rm 309-1
Joongwon Ahn
2026-10-09 09:00 @ Bldg 302, Rm 309-1
Janghyub Seo
2026-10-16 09:00 @ Bldg 302, Rm 309-1
Gyuhyeok Oh
2026-10-23 09:00 @ Bldg 302, Rm 309-1
Chaehwan Shin
2026-10-30 09:00 @ Bldg 302, Rm 309-1
Hyeongseo Yoo
2026-11-06 09:00 @ Bldg 302, Rm 309-1
Doyoon Lee
SoFA