Showing cs.CRShow all
2 papers · 1 filter
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.CR2025
Emergent misalignment as prompt sensitivity: A research note
Tim Wyse, Twm Stone, Anna Soligo +1
Betley et al. (2025) find that language models finetuned on insecure code become emergently misaligned (EM), giving misaligned responses in broad settings very different from those…