3 citations · 4 across the 14 of their papers we have counts for
4 papers · 1 filter
Bonded Recourse for Smart-Contract Settlement of Compensable Agent Side Effects
Laurent Bindschaedler, Quentin Botha, Christoph Siebenbrunner
Autonomous agent runtimes execute tool actions that mutate databases, repositories, and cloud services across organizational boundaries. Authorization and local compensation cover…
Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents
Laurent Bindschaedler, Quentin Botha, Christoph Siebenbrunner
Long-horizon agents execute thousands of actions, resulting in sequential failures rather than isolated errors. When a coding agent deletes a production database or a prompt inject…
Don't Trust the Code, Check Its Effects: Runtime Refinement for Regenerated Systems Code Under an Adversarial Generator
Jinhao Hu, Ashvin Goel, Laurent Bindschaedler
Recent work uses large language models to generate systems code from specifications, treating the specification as the durable artifact and the implementation as disposable. Regene…
Ghost Tool Calls: Issue-Time Privacy for Speculative Agent Tools
Bardia Mohammadi, Lars Klein, Akhil Arora +1
Tool-augmented language agents speculatively issue likely future tool calls to hide latency, but those calls leak inferred user intent to external services before the agent commits…