Compiling Sandboxes: Formally Verified Software Fault Isolation.

Frdric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke

Browse the full ESOP paper archive.