Sat 13 Jan 2018 11:45 - 11:50 at Hershey - Short Talks Session Chair(s): Dominique Devriese

Last year, we presented at this very workshop a new toolchain that compiles Low*, a low-level subset of F*, to C programs, while preserving side-channel resistance. In this brief talk, I will give an update on KreMLin, the Low*-to-C compiler, and its new WebAssembly target. In particular, I will discuss the pros and cons of using a custom compiler, and will outline future work and possible connections with the new constant-time semantics for WebAssembly, slated to be presented later that day.


Sat 13 Jan