AINAScan을 통한 FlaskBlog 내 IDOR 및 Sensitive Data Leakage 탐지
AINAScan Found Two Security Bugs in a Real Open-Source App — Here Is What Happened
CS 6120: 고급 컴파일러 자기주도 온라인 강좌 (2020)
LLVM 및 Bril 기반 최적화 컴파일러 백엔드 설계 및 구현 과정
1천 달러로 FFmpeg 제로데이 21개 발견한 Agentic Security 분석
Twenty One Zero-Days in FFmpeg
LLM 기반 Contextual Verification을 통한 False Positive 75.76% 감소
Making secret scanning more trustworthy: Reducing false positives at scale
Opus 4.7 기반 AI Security Workflow 구축 및 6개 플랫폼 확장
Claude Security Update: Scans, Webhooks, 6 Partners