Author Archives: POPL 2019

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

March 4th, 2019 | 🕒

https://www.ispeech.org • Paper and supplementary material: https://popl19.sigplan.org/event/popl-2019-research-papers-ct-wasm-type-driven-secure-cryptography-for-the-web-ecosystem • Abstract: A significant amount of both client and server-side cryptography is implemented