Runtime Check를 Compile-time Boundary로 전환하는 타입 시스템 설계
Type Your File Validation Library as a Security Boundary
Type Your File Validation Library as a Security Boundary
Eglot 전환을 통한 LSP 보안 강화 및 인터페이스 경량화 설계
MCP tool descriptions are part of your security model
MCP Security Is Broken