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

Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan. CT-wasm: type-driven secure cryptography for the web ecosystem. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Bibliographies