A fault modeling technique via program transformation to symbolic variables combined with pruning-optimized symbolic execution that outperforms prior methods by detecting missed violations, avoiding false ones, and running orders of magnitude faster.
arXiv preprint arXiv:2307.00561 (2023)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Efficient Symbolic Execution of Software under Fault Attacks
A fault modeling technique via program transformation to symbolic variables combined with pruning-optimized symbolic execution that outperforms prior methods by detecting missed violations, avoiding false ones, and running orders of magnitude faster.