Formally Verified Cryptographic Web Applications in WebAssembly - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan. Formally Verified Cryptographic Web Applications in WebAssembly. In 2019 IEEE Symposium on Security and Privacy, SP 2019, San Francisco, CA, USA, May 19-23, 2019. pages 1256-1274, IEEE, 2019. [doi]

This author has not been identified. Look up 'Jonathan Protzenko' in GoogleThis author has not been identified. Look up 'Benjamin Beurdouche' in GoogleThis author has not been identified. Look up 'Denis Merigoux' in GoogleThis author has not been identified. Look up 'Karthikeyan Bhargavan' in Google

runs on WebDSL