Towards a Usable, Practical, and Provably Secure Browser Infrastructure Download pdf Tags: Project Highlight Slides Formal Methods and Language-based Security Software 1704542 License: CC-2.5 Submitted by Jason Gigax on Wed, 06/22/2022 - 13:34