セキュリティ検証手法

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)
セキュリティ検証手法
脆弱性評価手法

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
セキュリティ検証手法
ブロックチェーン技術
機械学習

Security and Detectability Analysis of Unicode Text Watermarking Methods Against Large Language Models

Authors: Malte Hellmeier | Published: 2025-12-15
セキュリティ検証手法
生成AI向け電子透かし
透かし評価

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

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
セキュリティ検証手法
プロンプトインジェクション
大規模言語モデル