Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs.

Anja F. Karl,Robert Schilling,Roderick Bloem,Stefan Mangard

VMCAI（2019）

引用 3|浏览143

暂无评分

摘要

The increasing prevalence of soft errors and security concerns due to recent attacks like rowhammer have caused increased interest in the robustness of software against bit flips.

查看译文

关键词

Formal verification, Fault injection, Error detection codes, Arithmetic codes, Error masking

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要