Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
Abstract elided by the publisher.
Related papers
- Fault tolerant high performance computing by a coding approach PPoPP 2005
- Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks TACAS 2019
- Automated Verification of Correctness for Masked Arithmetic Programs CAV 2023
- SecSwift, a Compiler-Based Framework for Software Countermeasures in Cybersecurity CGO 2026
- Exploiting Verified Neural Networks via Floating Point Numerical Error SAS 2021
- Measuring Masking Fault-Tolerance TACAS 2019
- MaskD: A Tool for Measuring Masking Fault-Tolerance TACAS 2022
- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications TACAS 2015