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]
Abstract is missing.