---

About STORM

---

STORM is a research project described in the paper

• STORM: Refinement Types for Secure Web Applications

that appeared at the USENIX Operating System Design and Implementation (OSDI 2021).

It uses two key underlying ideas

• Vazou et al’s Bounded Refinement Types from ICFP 2015
• Polikarpova et al’s Liquid Information Flow Monad from ICFP 2020

The framework itself builds upon

• The Persistent API for interacting with databases

Team

STORM was developed by

• Nico Lehmann,
• Rose Kunkel
• Jordan Brown
• Jean Yang
• Niki Vazou
• Nadia Polikarpova
• Deian Stefan
• Ranjit Jhala

Code

STORM is open-source and available here.

Thanks

This work was supported by the National Science Foundation under Grant No. CNS-1514435, CCF-1943623, CCF-1918573, and CCF- 1911213, and by generous gifts from Microsoft Research.