关注
Neline van Ginkel
Neline van Ginkel
KU Leuven
在 cs.kuleuven.be 的电子邮件经过验证
标题
引用次数
引用次数
年份
Automatically generating secure wrappers for SGX enclaves from separation logic specifications
N Ginkel, R Strackx, F Piessens
Asian Symposium on Programming Languages and Systems, 105-123, 2017
212017
A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries
N van Ginkel, W De Groef, F Massacci, F Piessens
Security and Communication Networks 2019, 2019
202019
Towards safe enclaves
N van Ginkel, R Strackx, JT Mühlberg, F Piessens
4th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2016), 1-16, 2016
112016
Securing the interaction of software modules across security boundaries
N van Ginkel
PhD thesis, Distributed and Secure Software (DistriNet), Leuven (Arenberg …, 2020
2020
系统目前无法执行此操作，请稍后再试。
文章 1–4
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交