NobleBlocks
    Formally Verified Hardening of C Programs against Hardware Fault Injection | NobleBlocks