José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi. Verifying Constant-Time Implementations. In Thorsten Holz, Stefan Savage, editors, 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. pages 53-70, USENIX Association, 2016. [doi]
Abstract is missing.