A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis Authors: Omar Abusabha, Jiyong Uhm, Tamer Abuhmed, Hyungjoon Koo | Published: 2025-12-16 XAI(説明可能なAI)セキュリティ検証手法脆弱性評価手法 2025.12.16 文献データベース
SEDULity: A Proof-of-Learning Framework for Distributed and Secure Blockchains with Efficient Useful Work Authors: Weihang Cao, Mustafa Doger, Sennur Ulukus | Published: 2025-12-15 セキュリティ検証手法ブロックチェーン技術機械学習 2025.12.15 文献データベース
Security and Detectability Analysis of Unicode Text Watermarking Methods Against Large Language Models Authors: Malte Hellmeier | Published: 2025-12-15 セキュリティ検証手法生成AI向け電子透かし透かし評価 2025.12.15 文献データベース
STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation Authors: Tanmay Khule, Stefan Marksteiner, Jose Alguindigue, Hannes Fuchs, Sebastian Fischmeister, Apurva Narayan | Published: 2025-09-24 セキュリティ検証手法テストケース生成モデルDoS 2025.09.24 文献データベース
SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Authors: Dipayan Saha, Shams Tarek, Hasan Al Shaikh, Khan Thamid Hasan, Pavan Sai Nalluri, Md. Ajoad Hasan, Nashmin Alam, Jingbo Zhou, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi | Published: 2025-06-25 セキュリティ検証手法プロンプトインジェクション大規模言語モデル 2025.06.25 文献データベース