2 papers
cs.CR2025
LISA Technical Report: An Agentic Framework for Smart Contract Auditing
Izaiah Sun, Daniel Tan, Andy Deng
We present LISA, an agentic smart contract vulnerability detection framework that combines rule-based and logic-based methods to address a broad spectrum of vulnerabilities in smar…
cs.LO2025
Alignment Monitoring
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh +1
Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment mo…