STORM: Refinement Types for Secure Web Applications

Title{STORM}: Refinement Types for Secure Web Applications
Publication TypeConference Paper
Year of Publication2021
AuthorsLehmann N, Kunkel R, Brown J, Yang J, Vazou N, Polikarpova N, Stefan D, Jhala R
Conference Name15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21)
Date Published07/2021
Publisher{USENIX} Association
ISBN Number978-1-939133-22-9
URLhttps://www.usenix.org/conference/osdi21/presentation/lehmann