Verifying redundant-check based countermeasures: a case study.

Thibault Martin, Nikolai Kosmatov, Virgile Prevosto

Browse the full SAC paper archive.