Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ben Hardekopf" ( http://dblp.L3S.de/Authors/Ben_Hardekopf )

  Author page on DBLP  Author page in RDF  Community of Ben Hardekopf in ASPL-2

Publication years (Num. hits)
2000 (1) 2007 (2) 2009 (1) 2011 (5)
Publication types (Num. hits)
inproceedings(9)
Venues (Conferences, Journals, ...)
PLDI(2) AIWoRC(1) CGO(1) IEEE Symposium on Security and...(1) ISCA(1) POPL(1) SAS(1) SPIN(1)
Authors
Ben Hardekopf(9) Calvin Lin(4) Frederic T. Chong(2) Jason Oberg(2) Mohit Tiwari(2) Timothy Sherwood(2) Vineeth Kashyap(2) Xun Li 0001(2) Ben Wiedermann(1) Fang Yu(1) Jonathan Valamehr(1) Kevin A. Kwiat(1) Ryan Kastner(1) Tevfik Bultan(1) Timothy E. Levin(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 2 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf Caisson: a hardware description language for secure information flow. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. Search on Bibsonomy ISCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ben Hardekopf, Calvin Lin Flow-sensitive pointer analysis for millions of lines of code. Search on Bibsonomy CGO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fang Yu, Tevfik Bultan, Ben Hardekopf String Abstractions for String Verification. Search on Bibsonomy SPIN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ben Hardekopf, Calvin Lin Semi-sparse flow-sensitive pointer analysis. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pointer analysis, alias analysis
1Ben Hardekopf, Calvin Lin The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pointer analysis
1Ben Hardekopf, Calvin Lin Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ben Hardekopf, Kevin A. Kwiat Exploiting the Overlap of Security and Fault-Tolerance. Search on Bibsonomy AIWoRC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.