Login / Signup
STORM: Refinement Types for Secure Web Applications.
Nico Lehmann
Rose Kunkel
Jordan Brown
Jean Yang
Niki Vazou
Nadia Polikarpova
Deian Stefan
Ranjit Jhala
Published in:
OSDI (2021)
Keyphrases
</>
web applications
application development
web browser
web services
end users
application developers
web application development
web development
dynamic content