Shielding Software From Privileged Side-Channel Attacks

  • Formal Methods and Language-based Security
  • Hardware Security Architecture
  • Software
  • Systems
  • 1652280
  • 2019
  • SaTC PI Meeting 2019
  • Poster
  • U.S. Government
  • NSF
  • Posters
Submitted by John Criswell on