CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem

Conrad Watt, John Renner, Natalie Popescu +2

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 ma…