Search results for "Ankur Taly"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ankur Taly, Sumit Gulwani, Ashish Tiwari	Synthesizing switching logic using constraint solving.	STTT	2011	DBLP DOI BibTeX RDF
1	Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra	Automated Analysis of Security-Critical JavaScript APIs.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	APIs, Javascript, Language-Based Security, Points-to Analysis
1	Sergio Maffeis, John C. Mitchell, Ankur Taly	Object Capabilities and Isolation of Untrusted Web Applications.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	Operational Semantics, JavaScript, Capabilities, Language-based Security
1	Ankur Taly, Ashish Tiwari	Switching logic synthesis for reachability.	EMSOFT	2010	DBLP DOI BibTeX RDF
1	Sergio Maffeis, Ankur Taly	Language-Based Isolation of Untrusted JavaScript.	CSF	2009	DBLP DOI BibTeX RDF	Security, JavaScript, Facebook, Isolation, Subsetting
1	Ankur Taly, Sumit Gulwani, Ashish Tiwari	Synthesizing Switching Logic Using Constraint Solving.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Ankur Taly, Ashish Tiwari	Deductive Verification of Continuous Dynamical Systems.	FSTTCS	2009	DBLP DOI BibTeX RDF
1	Sergio Maffeis, John C. Mitchell, Ankur Taly	Isolating JavaScript with Filters, Rewriting, and Wrappers.	ESORICS	2009	DBLP DOI BibTeX RDF
1	Sergio Maffeis, John C. Mitchell, Ankur Taly	An Operational Semantics for JavaScript.	APLAS	2008	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou	Static Analysis by Policy Iteration on Relational Domains.	ESOP	2007	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )

Publications of "Ankur Taly" ( http://dblp.L3S.de/Authors/Ankur_Taly )