Automating Countermeasures and Security Evaluation against Software Side-channel Attacks.pdf