Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke: Compiling Sandboxes: Formally Verified Software Fault Isolation. ESOP 2019: 499-524