8 citations · 15 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
HoldSpec: A Machine-Checked Model and Conformance Suite for the Payment Authorization Hold Lifecycle
Abhishek Sharma
When a merchant authorizes a card and captures the funds later, the money sits in a state that neither party fully controls: held on the cardholder's account, not yet taken, and du…
cs.CR2026
Evasive Intelligence: Lessons from Malware Analysis for Evaluating AI Agents
Simone Aonzo, Merve Sahin, Aurélien Francillon +1
Artificial intelligence (AI) systems are increasingly adopted as tool-using agents that can plan, observe their environment, and take actions over extended time periods. This evolu…