Efficient Symbolic Execution of Software Under Fault Attacks.

Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang

Browse the full ECOOP paper archive.