• DOI:10.1145/3290390
Corpus ID: 51929036

CT-wasm: type-driven secure cryptography for the web ecosystem

@article{Watt2019CTwasmTS,
  title={CT-wasm: type-driven secure cryptography for the web ecosystem},
  author={C. Watt and John Renner and Natalie Popescu and S. Cauligi and D. Stefan},
  journal={Proceedings of the ACM on Programming Languages},
  year={2019},
  volume={3},
  pages={1 - 29}
}

C. Watt, John Renner, +2 authors D. Stefan

Published 2019

Computer Science

Proceedings of the ACM on Programming Languages

A significant amount of both client and server-side cryptography is implemented in JavaScript. Despite widespread concerns about its security, no other language has been able to match the convenience that comes from its ubiquitous support on the "web ecosystem" - the wide variety of technologies that collectively underpins the modern World Wide Web. With the introduction of the new WebAssembly bytecode language (Wasm) into the web ecosystem, we have a unique opportunity to advance a principled… CONTINUE READING

View on ACM

dl.acm.org

Save to Library

Create Alert

Cite

Launch Research Feed