A Provably Secure and Efficient Countermeasure against Timing Attacks | IEEE Conference Publication | IEEE Xplore