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

11:30 - 12:00: PriSC 2018 - Short Talks Session at Hershey
Chair(s): Dominique DevrieseKU Leuven
prisc-2018151583940000011:30 - 11:35
Arthur Azevedo de AmorimCarnegie Mellon University, USA, Cătălin HriţcuInria Paris, Benjamin C. PierceUniversity of Pennsylvania
Pre-print File Attached
prisc-2018151583970000011:35 - 11:40
William J. BowmanNortheastern University, USA
Link to publication File Attached
prisc-2018151584000000011:40 - 11:45
Santosh NagarakatteRutgers University, USA
Pre-print File Attached
prisc-2018151584030000011:45 - 11:50
Jonathan ProtzenkoMicrosoft Research, n.n.
File Attached