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]
@inproceedings{LehmannKB0VPSJ21,
title = {STORM: Refinement Types for Secure Web Applications},
author = {Nico Lehmann and Rose Kunkel and Jordan Brown and Jean Yang 0001 and Niki Vazou and Nadia Polikarpova and Deian Stefan and Ranjit Jhala},
year = {2021},
url = {https://www.usenix.org/conference/osdi21/presentation/lehmann},
researchr = {https://researchr.org/publication/LehmannKB0VPSJ21},
cites = {0},
citedby = {0},
pages = {441-459},
booktitle = {15th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2021, July 14-16, 2021},
editor = {Angela Demke Brown and Jay R. Lorch},
publisher = {USENIX Association},
}