STORM: Refinement Types for Secure Web Applications

Website Maintenance Alert

Due to scheduled maintenance, the USENIX website may not be available on Monday, March 17, from 10:00 am–6:00 pm Pacific Daylight Time (UTC -7). We apologize for the inconvenience and thank you for your patience.

If you would like to register for NSDI '25, SREcon25 Americas, or PEPR '25, please complete your registration before or after this time period.

TitleSTORM: 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
Close menu