Dynamic GARUDA: Securing Programs with Hardware Monitors Using Higher Language Abstractions Download pdf Tags: Posters Formal Methods and Language-based Security Hardware security architecture CCF-1936794 SaTC PI Meeting 2022 Poster License: CC-2.5 Submitted by Jason Gigax on Mon, 06/20/2022 - 10:23