@inproceedings {lehmann:2021:storm,
  title     = {STORM: Refinement Types for Secure Web Applications},
  author    = {Nico Lehmann and Rose Kunkel and Jordan Brown and Jean Yang and Niki Vazou and Nadia Polikarpova and Deian Stefan and Ranjit Jhala},
  booktitle = {Symposium on Operating Systems Design and Implementation (OSDI)},
  month     = {July},
  year      = {2021},
  publisher = {USENIX}
}