关注
Spiridon Eliopoulos
Spiridon Eliopoulos
Inhabited Type LLC
在 inhabitedtype.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
{ADsafety}:{Type-Based} Verification of {JavaScript} Sandboxing
JG Politz, SA Eliopoulos, A Guha, S Krishnamurthi
20th USENIX Security Symposium (USENIX Security 11), 2011
1252011
A fast compiler for NetKAT
S Smolka, S Eliopoulos, N Foster, A Guha
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
802015
ADsafety: Type-Based Verification of JavaScript Sandboxing
J Gibbs Politz, S Eliopoulos, A Guha, S Krishnamurthi
arXiv e-prints, arXiv: 1506.07813, 2015
2015
系统目前无法执行此操作，请稍后再试。
文章 1–3