Yuzhou Fang, Chenyu Zhou, Jingbo Wang 0006, Chao Wang 0001. Efficient Symbolic Execution of Software Under Fault Attacks. In Robbert Krebbers, Alexandra Silva 0001, editors, 40th European Conference on Object-Oriented Programming, ECOOP 2026, Brussels, Belgium, June 29 - July 3, 2026. Volume 372 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.