Frank Piessens. Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks. In Begül Bilgin, Svetla Petkova-Nikova, Vincent Rijmen, editors, Proceedings of ACM Workshop on Theory of Implementation Security Workshop, TIS@CCS 2019, London, UK, November 11, 2019. pages 1, ACM, 2019. [doi]
Abstract is missing.