LLM-IFT: LLM-Powered Information Flow Tracking for Secure Hardware Authors: Nowfel Mashnoor, Mohammad Akyash, Hadi Kamali, Kimia Azar | Published: 2025-04-09 LLMの安全機構の解除フレームワーク効率的な構成検証 2025.04.09 文献データベース
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search Authors: Ruidong Han, Chao Yang, Siqi Ma, JiangFeng Ma, Cong Sun, Juanru Li, Elisa Bertino | Published: 2021-12-07 UAVセキュリティ効率的な構成検証飛行制御の課題 2021.12.07 2025.04.03 文献データベース
