Author

Le-Yu Dai

h-index 5 View on Semantic Scholar

We have 1 of 21 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

AID-Guard: Stateful Authorization for Delegated Agent Effects

This work presents AID-Guard, a stateful authorization-to-effect closure protocol that revalidates the approved request and provider state at commit, retains one reservation under ambiguity, and permits release or one successor only after a terminal result or certified no effect with a delivery fence.

Yingzhe Tong, Le-Yu Dai, Song-Hui Guo · 9 citations