-
1
-
2
Typed-based verification of Web sandboxes
Veröffentlicht in Journal of computer security
VolltextArtikel -
3
-
4
Putting in all the stops: execution control for JavaScript
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
5
A tested semantics for getters, setters, and eval in JavaScript
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
6
-
7
-
8
-
9
Data Science as a Route to AI for Middle- and High-School Students
Veröffentlicht in arXiv.org
VolltextArtikel -
10
-
11
Putting in All the Stops: Execution Control for JavaScript
Veröffentlicht in arXiv.org
VolltextArtikel -
12
ADsafety: Type-Based Verification of JavaScript Sandboxing
Veröffentlicht in arXiv.org
VolltextArtikel -
13