Rocksalt: A Formally Verified Machine Code Security Checker

Download
pdf

ABSTRACT

  • binary-level security
  • formal verification
  • Harvard University
  • Lehigh University
  • software fault isolation
  • 0915157
  • 1149211
  • SaTC PI Meeting 2012
  • Poster
  • Academia
  • SaTC Posters
Submitted by Katie Dey on