Folgen
Spiridon Eliopoulos
Spiridon Eliopoulos
Inhabited Type LLC
Bestätigte E-Mail-Adresse bei inhabitedtype.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
{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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3