Specifying and Verifying Secure Compilation of C Code to Tagged Hardware

  • Formal Methods and Language-based Security
  • Hardware Security Architecture
  • Software
  • 2048499
  • Posters
  • 2022
  • SaTC PI Meeting 2022
  • Poster
Submitted by Jason Gigax on