@inproceedings{watt:2019:ct-wasm,
  author    = {Conrad Watt and John Renner and Natalie Popescu and Sunjay Cauligi and Deian Stefan},
  title     = {{CT-Wasm}: Type-Driven Secure Cryptography for the Web Ecosystem},
  booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  month     = {January},
  year      = {2019},
  publisher = {ACM}
}