SaTC: CORE: Medium: Collaborative: Bridging the Gap Between Protocol Design and Implementation through Automated Mapping

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