Havenlon Research

Papers

圍繞自主系統中的執行控制、執行邊界與對抗性完整開展的研究。

論文2026arXiv:2608.18965cs.CR

Who Can Make the Action Happen?

An Authority-Decomposition Framework for High-Risk Automated Systems

An action-relative framework for identifying which trust-domain coalitions can cause protected execution in high-risk automated systems.

作者Mengting Wu, Lin Wang, Yong Zhang

論文2026arXiv:2609.11596cs.CR

EBL-Core

Execution Boundary Language Core

An execution-boundary conformance profile for deciding when a fully materialized AI-generated action may receive execution authority.

作者Mengting Wu, Lin Wang, Yong Zhang, Jiang Deng

論文2026arXiv:2610.01386cs.CR

Evidence Coverage for Intent-Bound Execution

Scope, Obligations, and Cutoff Reasoning

一套用於判定意圖綁定執行在既定範圍與評估截止點內,其應有證據義務是否已被完整覆蓋的分析模型。

作者Mengting Wu, Lin Wang, Yong Zhang, Jiang Deng