%0 Journal Article %1 journals/tcad/SeftonSASK18 %A Sefton, Seaghan %A Siddiqui, Taiman %A Amour, Nathaniel St. %A Stewart, Gordon %A Kodi, Avinash Karanth %D 2018 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 11 %P 2509-2518 %T GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow. %U http://dblp.uni-trier.de/db/journals/tcad/tcad37.html#SeftonSASK18 %V 37

@article{journals/tcad/SeftonSASK18, added-at = {2020-09-24T00:00:00.000+0200}, author = {Sefton, Seaghan and Siddiqui, Taiman and Amour, Nathaniel St. and Stewart, Gordon and Kodi, Avinash Karanth}, biburl = {https://www.bibsonomy.org/bibtex/2609d4c1b5b7a5e05f349ce883ac1b03d/dblp}, ee = {https://doi.org/10.1109/TCAD.2018.2857041}, interhash = {1ce6304638ed0445a5a674c117f0749d}, intrahash = {609d4c1b5b7a5e05f349ce883ac1b03d}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 11, pages = {2509-2518}, timestamp = {2020-09-25T11:50:01.000+0200}, title = {GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad37.html#SeftonSASK18}, volume = 37, year = 2018 }