Automatically generating secure wrappers for SGX enclaves from separation logic specifications

Van Ginkel, NelineNelineVan GinkelStrackx, RaoulRaoulStrackxPiessens, FrankFrankPiessens2021-10-242021-10-242017https://imec-publications.be/handle/20.500.12860/29684Automatically generating secure wrappers for SGX enclaves from separation logic specificationsProceedings paperhttps://link.springer.com/chapter/10.1007/978-3-319-71237-6_6