Browsing by author "Van Ginkel, Neline"
Now showing items 1-2 of 2
-
A server-side JavaScript security architecture for secure integration of third-party libraries
Van Ginkel, Neline; De Groef, Willem; Massacci, Fabio; Piessens, Frank (2019) -
Automatically generating secure wrappers for SGX enclaves from separation logic specifications
Van Ginkel, Neline; Strackx, Raoul; Piessens, Frank (2017)