Reasoning about Dependencies and Information Flow in Dynamic Code

  • Project Highlight Slides
  • Formal Methods and Language-based Security Software Systems
  • 1908313
  • SaTC PI Meeting 2022
Submitted by Jason Gigax on