1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…