STORM: Refinement Types for Secure Web Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nico Lehmann' in GoogleThis author has not been identified. Look up 'Rose Kunkel' in GoogleThis author has not been identified. Look up 'Jordan Brown' in GoogleThis author has not been identified. Look up 'Jean Yang 0001' in GoogleThis author has not been identified. Look up 'Niki Vazou' in GoogleThis author has not been identified. Look up 'Nadia Polikarpova' in GoogleThis author has not been identified. Look up 'Deian Stefan' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in Google

runs on WebDSL