Showing 2025Show all
2 papers · 1 filter
cs.SE2025
Efficient Symbolic Execution of Software under Fault Attacks
Yuzhou Fang, Chenyu Zhou, Jingbo Wang +1
We propose a symbolic execution method for analyzing the safety of software under fault attacks both accurately and efficiently. Fault attacks leverage physically injected hardware…
cs.LG2025
Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
Jacqueline L. Mitchell, Brian Hyeongseok Kim, Chenyu Zhou +1
Large language models (LLMs) are increasingly used for program verification, and yet little is known about \emph{how} they reason about program semantics during this process. In th…