TY  - RPRT
TI  - CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem
AU  - Conrad Watt
AU  - John Renner
AU  - Natalie Popescu
AU  - Sunjay Cauligi
AU  - Deian Stefan
PY  - 2018
DO  - 10.1145/3290390
UR  - https://arxiv.org/abs/1808.01348
ID  - 1808.01348
ER  -