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

Conrad Watt et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics