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