GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow. - Seaghan Sefton; Taiman Siddiqui; Nathaniel St. Amour; Gordon Stewart 001; Avinash Karanth Kodi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)