Formally Verified Cryptographic Web Applications in WebAssembly - researchr publication related

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]

The following publications are possibly variants of this publication:

Formally Verified Cryptographic Web Applications in WebAssemblyJonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan. iacr, 2019:542, 2019. [doi]

A semantics for web services authenticationKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon. POPL 2004: 198-209 [doi]

runs on WebDSL