Login / Signup
Neline van Ginkel
ORCID
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 2
Top Topics
Automatically Generating
Data Extraction
Security Architecture
Predicate Logic
Top Venues
Secur. Commun. Networks
APLAS
</>
Publications
</>
Neline van Ginkel
,
Willem De Groef
,
Fabio Massacci
,
Frank Piessens
A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries.
Secur. Commun. Networks
2019 (2019)
Neline van Ginkel
,
Raoul Strackx
,
Frank Piessens
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications.
APLAS
(2017)