Weakening WebAssembly

Constant-Time WebAssembly

As evermore applications are designed to run inside browsers and other JavaScript runtime systems, there is an increasing need for cryptographic primitives that can be used client-side. Unfortunately, implementing cryptographic primitives securely in high-level languages is extremely difficult—runtime system components such as garbage collectors and just-intime compilers can trivially introduce...

Weakening Holonomy

and partly results of my Ph. D. student Richard Cleyton. It is a pleasure to thank the Erwin Schrrdinger Institute and the organisers of the program on Holonomy Groups in Diierential Geometry for their kind hospitality.

Weakening HIV

One person’s fight against an HIV infection can decrease the virus’s ability to threaten its next victim, say Goepfert et al. (page 1009). Mutations that help the virus survive in one host decrease its ability to replicate in the next. HIV mutations that help the virus bypass the host’s immune system often fall within gag. This gene is a favorite target for mutations because, for some reason, G...

Weakening Holonomyandrew

TaintAssembly: Taint-Based Information Flow Control Tracking for WebAssembly

WebAssembly (wasm) has recently emerged as a promisingly portable, size-efficient, fast, and safe binary format for the web. As WebAssembly can interact freely with JavaScript libraries, this gives rise to a potential for undesirable behavior to occur. It is therefore important to be able to detect when this might happen. A way to do this is through taint tracking, where we follow the flow of i...