Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2007 (1) 2008 (1) 2009 (4) 2010 (2) 2011 (1)
Publication types (Num. hits)
inproceedings(9)
Venues (Conferences, Journals, ...)
ACM Conference on Computer and...(2) DEBS(1) EuroSys(1) FM(1) IEEE Symposium on Security and...(1) PLDI(1) SOSP(1) VEE(1)
Authors
Eddie Kohler(2) Maxwell N. Krohn(2) Somesh Jha(2) Thomas W. Reps(2) William R. Harris(2) Alex C. Snoeren(1) Alexander Yip(1) Amin Vahdat(1) Brian Shand(1) David M. Eyers(1) Donald E. Porter(1) Emmett Witchel(1) Eran Tromer(1) Geoffrey M. Voelker(1) Indrajit Roy(1) Ioannis Papagiannis(1) More (+10 of total 38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Maxwell N. Krohn, Eran Tromer Noninterference for a Practical DIFC-Based Operating System. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris Information flow control for standard OS abstractions. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF DIFC, decentralized information flow control, endpoints, system call interposition, web services, reference monitor
1Zhi Yang, Lihua Yin, Miyi Duan, Shuyuan Jin Poster: towards formal verification of DIFC policies. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1William R. Harris, Somesh Jha, Thomas W. Reps DIFC programs by automatic instrumentation. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Qing Zhang, John McCullough, Justin Ma, Nabil Schear, Michael Vrable, Amin Vahdat, Alex C. Snoeren, Geoffrey M. Voelker, Stefan Savage Neon: system support for derived data management. Search on Bibsonomy VEE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF difc, memory tainting, qemu, virtualization, xen
1Ioannis Papagiannis, Matteo Migliavacca, Peter R. Pietzuch, Brian Shand, David M. Eyers, Jean Bacon PrivateFlow: decentralised information flow control in event based middleware. Search on Bibsonomy DEBS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel Laminar: practical fine-grained decentralized information flow control. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF security region, operating systems, java virtual machine, information flow control
1William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps Verifying Information Flow Control over Unbounded Processes. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Petros Efstathopoulos, Eddie Kohler Manageable fine-grained information flow. Search on Bibsonomy EuroSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF decentralized information flow control, debugging, labels, policy language
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.