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

First Author: Watt C

Attributed to: REMS: Rigorous Engineering for Mainstream Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1808.01348

Publication URI: https://arxiv.org/abs/1808.01348

Type: Other