Side-channel defenses

David Molnar, Matt Piotrowski, David Schultz, and David Wagner. “The program counter security model: Automatic detection and removal of control-flow side channel attacks”. In International Conference on Information Security and Cryptology (ICISC), pages 156–168, Seoul, Korea, December 2005.
[Springer]

Boris Köpf, Laurent Mauborgne, and Martín Ochoa. “Automatic quantification of cache side-channels. In Computer Aided Verification (CAV), pages 564–580, Berkeley, CA, USA, July 2012.
[Springer]

Question: TBD