|
Search the dblp DataBase
Ankur Taly:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
Static Analysis by Policy Iteration on Relational Domains. [Citation Graph (0, 0)][DBLP] ESOP, 2007, pp:237-252 [Conf]
An Operational Semantics for JavaScript. [Citation Graph (, )][DBLP]
Language-Based Isolation of Untrusted JavaScript. [Citation Graph (, )][DBLP]
Isolating JavaScript with Filters, Rewriting, and Wrappers. [Citation Graph (, )][DBLP]
Deductive Verification of Continuous Dynamical Systems. [Citation Graph (, )][DBLP]
Object Capabilities and Isolation of Untrusted Web Applications. [Citation Graph (, )][DBLP]
Synthesizing Switching Logic Using Constraint Solving. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|