Old Web
English
Sign In
Acemap
>
Paper
>
{STORM}: Refinement Types for Secure Web Applications
{STORM}: Refinement Types for Secure Web Applications
2021
Nico Lehmann
Rose Kunkel
Jordan Brown
Jean Yang
Niki Vazou
Nadia Polikarpova
Deian Stefan
Ranjit Jhala
Keywords:
Computer science
World Wide Web
Web application
Storm
Correction
Source
Cite
Save
Machine Reading By IdeaReader
20
References
0
Citations
NaN
KQI
[]