Formal Verification of Software Countermeasures against Side-Channel Attacks - Eldib, Hassan; Wang, Chao; Schaumont, Patrick (ACM transactions on software engineering and methodology, 2014)
Keywords: Algorithms; Computer programs; Countermeasures; Cryptography; Logic; Masking; Military technology; Program verification (computers); Solvers