@misc{indiciaea8c8a2ebb33a, title = {Certified Speculative Execution for Untrusted AI Agents}, author = {Chenyu Zhou and Qiliang Jiang and Shuning Wu and Xu Zhou}, year = {2026}, url = {https://arxiv.org/abs/2606.31023}, note = {Source identifier: 2606.31023} }