Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang 0001, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala. STORM: Refinement Types for Secure Web Applications. In Angela Demke Brown, Jay R. Lorch, editors, 15th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2021, July 14-16, 2021. pages 441-459, USENIX Association, 2021. [doi]
Abstract is missing.