Towards a Usable, Practical, and Provably Secure Browser Infrastructure

  • Posters
  • Formal Methods and Language-based Security Software
  • 1704542
  • SaTC PI Meeting 2022
Submitted by Jason Gigax on