Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for CQUAL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002 (1) 2004 (1) 2005 (2) 2006 (4)
Publication types (Num. hits)
article(1) inproceedings(7)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(1) DIMVA(1) eTX(1) ICFP(1) PLAS(1) SAS(1) USENIX Security Symposium(1) VSTTE(1)
Authors
Jeffrey S. Foster(2) Alex Aiken(1) Amal J. Ahmed 0001(1) Antony Edwards(1) Bor-Yuh Evan Chang(1) David Greenfieldboyce(1) Ebrima N. Ceesay(1) George C. Necula(1) Greg Morrisett(1) Jingmin Zhou(1) John Kodumal(1) Karl N. Levitt(1) Matt Bishop(1) Matthew Fluet(1) Matthew Harren(1) Michael Gertz 0001(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 6 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
151Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh Applying flow-sensitive CQUAL to verify MINIX authorization check placement. Search on Bibsonomy PLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF CQUAL, static analysis, type qualifiers, MINIX
72David Greenfieldboyce, Jeffrey S. Foster Visualizing type qualifier inference with Eclipse. Search on Bibsonomy eTX The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken Flow-insensitive type qualifiers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF const, taint, security, static analysis, constraints, types, Type qualifiers
42Xiaolan Zhang 0001, Antony Edwards, Trent Jaeger Using CQUAL for Static Analysis of Authorization Hook Placement. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2002 DBLP  BibTeX  RDF
24Bor-Yuh Evan Chang, Matthew Harren, George C. Necula Analysis of Low-Level Code Using Cooperating Decompilers. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz 0001, Karl N. Levitt, Matt Bishop Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs. Search on Bibsonomy DIMVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Thomas Ball The Verified Software Challenge: A Call for a Holistic Approach to Reliability. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Amal J. Ahmed 0001, Matthew Fluet, Greg Morrisett A step-indexed model of substructural state. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF mutable references, stepindexed model, substructural type system
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license