SMT-Based Verification of Software Countermeasures against Side-Channel Attacks.

Hassan Eldib, Chao Wang, Patrick Schaumont

Browse the full TACAS paper archive.