Skip to content

Translation in progress Some entries still include text in the original language.

Oct 12 · Monday

All papers

Found 1 paper
Filter5

Attacker access

Black-box1

Attack surface / entry point

User input3Web pages and interfaces1Code repositories and dependencies0

System component

Memory0Monitors1
Select any value within a category; different categories must all match. Counts include the other filters you have selected.Another 240papers have no tags yet and are not included in filtered results.
Attacker access：Black-boxAttack surface / entry point：Web pages and interfacesAttack surface / entry point：Code repositories and dependenciesSystem component：MemorySystem component：MonitorsClear all

Another 240papers do not have category tags yet and are not included in filtered results.

  1. DefensesarXiv 2610.09793

    用时序逻辑监控工具 Agent

    提出 MFOTL 离线时序验证以监控工具 Agent 的危险动作链

    arXiv
    2610.09793
    Published
    Layer
    Application layer
    Setting
    AI Agent
    Attacker
    Black-box
    Abstract形式化验证可有效识别多步攻击，但其有效性高度依赖轨迹的可信历史记录。

    这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。

    Paper analysisRead analysis
You have reached the end