Follow
Spiridon Eliopoulos
Spiridon Eliopoulos
Inhabited Type LLC
Verified email at inhabitedtype.com - Homepage
Title
Cited by
Cited by
Year
{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
782015
ADsafety: Type-Based Verification of JavaScript Sandboxing
J Gibbs Politz, S Eliopoulos, A Guha, S Krishnamurthi
arXiv e-prints, arXiv: 1506.07813, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–3