The paper "RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation" by Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert, and Tim Weißmantel has been accepted for publication at CANS 2020 (International Conference on Cryptology and Network Security).