Synthesis of masking countermeasures against side channel attacks (2014)

by Hassan Eldib, Chao Wang
Venue:In Computer Aided Verification, CAV