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.
Submitted by olivia on May 3, 2021 - 2:40 pm
Title | STORM: Refinement Types for Secure Web Applications |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Lehmann N, Kunkel R, Brown J, Yang J, Vazou N, Polikarpova N, Stefan D, Jhala R |
Conference Name | 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21) |
Date Published | 07/2021 |
Publisher | {USENIX} Association |
ISBN Number | 978-1-939133-22-9 |
URL | https://www.usenix.org/conference/osdi21/presentation/lehmann |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX