About this scholarly article

2019 IEEE Symposium on Security and Privacy (SP) - Formally Verified Cryptographic Web Applications in WebAssembly by Protzenko, Jonathan; Beurdouche, Benjamin; Merigoux, Denis; Bhargavan, Karthikeyan is a scholarly article available to read on EtoBox.

Author

Protzenko, Jonathan; Beurdouche, Benjamin; Merigoux, Denis; Bhargavan, Karthikeyan

Publisher

IEEE

Published

2019

Language

EN