Towards a Usable, Practical, and Provably Secure Browser Infrastructure

  • Project Highlight Slides
  • Formal Methods and Language-based Security Software
  • 1704542
Submitted by Jason Gigax on