Small faults grow up -- verification of error masking robustness in arithmetically encoded programs

DOI10.1007/978-3-030-11245-5_9OpenAlexW2909858875MaRDI QIDQ2287081

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

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_9

zbMATH Keywords

formal verificationfault injectionarithmetic codeserror maskingerror detection codes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Squeeziness: an information theoretic measure for avoiding fault masking

This page was built for publication: Small faults grow up -- verification of error masking robustness in arithmetically encoded programs