1. Secure by Designの境界を整理する新たな枠組み

    [PROGRAMMING]

    設計段階の安全性確保と、実装が本当に安全かを示す工程を分けて考える3D/4Dモデルが紹介された。AI支援開発では、意図と実装のずれが分析に影響すると指摘している。