Formally Verified Cryptographic Web Applications in WebAssembly

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan. Formally Verified Cryptographic Web Applications in WebAssembly. IACR Cryptology ePrint Archive, 2019:542, 2019. [doi]

Authors

Jonathan Protzenko

This author has not been identified. Look up 'Jonathan Protzenko' in Google

Benjamin Beurdouche

This author has not been identified. Look up 'Benjamin Beurdouche' in Google

Denis Merigoux

This author has not been identified. Look up 'Denis Merigoux' in Google

Karthikeyan Bhargavan

This author has not been identified. Look up 'Karthikeyan Bhargavan' in Google