Almeida JB, Barbosa M, Barthe G, Dupressoir F, Emmi M.? 2016.??Verifying Constant-Time Implementations. 25th USENIX Security Symposium, USENIX Security' 16. :53?70.