Seguir
Spiridon Eliopoulos
Spiridon Eliopoulos
Inhabited Type LLC
E-mail confirmado em inhabitedtype.com - Página inicial
Título
Citado por
Citado por
Ano
{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
812015
ADsafety: Type-Based Verification of JavaScript Sandboxing
J Gibbs Politz, S Eliopoulos, A Guha, S Krishnamurthi
arXiv e-prints, arXiv: 1506.07813, 2015
2015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–3