@inproceedings {273725,
	author = {Nico Lehmann and Rose Kunkel and Jordan Brown and Jean Yang and Niki Vazou and Nadia Polikarpova and Deian Stefan and Ranjit Jhala},
	title = {{STORM}: Refinement Types for Secure Web Applications},
	booktitle = {15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {441--459},
	url = {https://www.usenix.org/conference/osdi21/presentation/lehmann},
	publisher = {{USENIX} Association},
	month = jul
}
