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]
@inproceedings{Piessens19,
title = {Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks},
author = {Frank Piessens},
year = {2019},
doi = {10.1145/3338467.3358952},
url = {https://doi.org/10.1145/3338467.3358952},
researchr = {https://researchr.org/publication/Piessens19},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Proceedings of ACM Workshop on Theory of Implementation Security Workshop, TIS@CCS 2019, London, UK, November 11, 2019},
editor = {Begül Bilgin and Svetla Petkova-Nikova and Vincent Rijmen},
publisher = {ACM},
isbn = {978-1-4503-6827-8},
}