Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. - Neline van Ginkel; Raoul Strackx; Frank Piessens (APLAS, 2017)

A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries. - Neline van Ginkel; Willem De Groef; Fabio Massacci; Frank Piessens (Secur. Commun. Networks, 2019)