Browsing by Author "Van Ginkel, Neline"

Now showing 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
Journal article
2019, Security and Communication Networks, 2019, p.9629034
Automatically generating secure wrappers for SGX enclaves from separation logic specifications

Van Ginkel, Neline
;
Strackx, Raoul
;
Piessens, Frank
Proceedings paper
2017, Asian Symposium on Programming Languages and Systems - APLAS, 27/11/2017, p.105-123