Formally Verified Cryptographic Web Applications in WebAssembly (bibtex)
by Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux and Karthikeyan Bhargavan
Reference:
Formally Verified Cryptographic Web Applications in WebAssembly (Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux and Karthikeyan Bhargavan), In IEEE Symposium on Security and Privacy (S&P), 2019.
Bibtex Entry:
@inproceedings{signal-wasm,
  author    = {Jonathan Protzenko and  Benjamin Beurdouche and   Denis Merigoux and  Karthikeyan Bhargavan},
  title     = {{Formally Verified Cryptographic Web Applications in WebAssembly}},
  booktitle = {{IEEE Symposium on Security and Privacy (S\&P)}},
  url = "https://eprint.iacr.org/2019/542",
  year    = {2019}}
Powered by bibtexbrowser