Dynamic GARUDA: Securing Programs with Hardware Monitors Using Higher Language Abstractions

  • Posters
  • Formal Methods and Language-based Security Hardware
  • security architecture
  • CCF-1936794
  • SaTC PI Meeting 2022
  • Poster
Submitted by Jason Gigax on