Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications.

Neline van Ginkel, Raoul Strackx, Frank Piessens

Browse the full APLAS paper archive.