Towards a Usable, Practical, and Provably Secure Browser Infrastructure Download pdf Tags: Posters Formal Methods and Language-based Security Software 1704542 SaTC PI Meeting 2022 License: CC-2.5 Submitted by Jason Gigax on Mon, 06/20/2022 - 10:14