Formally Verified Cryptographic Web Applications in WebAssembly (bibtex)

by J. Protzenko, B. Beurdouche, D. Merigoux and K. Bhargavan

Reference:

Formally Verified Cryptographic Web Applications in WebAssembly (J. Protzenko, B. Beurdouche, D. Merigoux and K. Bhargavan), In 2019 IEEE Symposium on Security and Privacy (SP), 2019.

Bibtex Entry:

@inproceedings{whacl,
  author = {J. Protzenko and B. Beurdouche and D. Merigoux and K. Bhargavan},
  booktitle = {2019 IEEE Symposium on Security and Privacy (SP)},
  title = {Formally Verified Cryptographic Web Applications in {WebAssembly}},
  year = {2019},
  doi = {10.1109/SP.2019.00064},
  url = {https://eprint.iacr.org/2019/542.pdf},
  ISSN = {CFP19020-ART},
  month={}
}