Publication:

Automatically generating secure wrappers for SGX enclaves from separation logic specifications

Date

2017

Proceedings Paper

Simple item page Full metadata Statistics

Files

41204.pdf 1.06 MB

Author(s)

Van Ginkel, Neline

;

;

Piessens, Frank

Statistics

1999 since deposited on 2021-10-24

2last month

2last week

Acq. date: 2026-02-24