Seaghan Sefton, Taiman Siddiqui, Nathaniel St. Amour, Gordon Stewart 0001, Avinash Karanth Kodi. GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2509-2518, 2018. [doi]
@article{SeftonSASK18,
title = {GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow},
author = {Seaghan Sefton and Taiman Siddiqui and Nathaniel St. Amour and Gordon Stewart 0001 and Avinash Karanth Kodi},
year = {2018},
doi = {10.1109/TCAD.2018.2857041},
url = {https://doi.org/10.1109/TCAD.2018.2857041},
researchr = {https://researchr.org/publication/SeftonSASK18},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {37},
number = {11},
pages = {2509-2518},
}