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-2022 (14)
Publication types (Num. hits)
article(2) inproceedings(12)
Venues (Conferences, Journals, ...)
CCS(2) ACM Trans. Auton. Adapt. Syst.(1) DEBS(1) EuroS&P(1) EuroSys(1) FM(1) Neural Comput. Appl.(1) PLDI(1) SafeConfig(1) SOSP(1) SP(1) USENIX Security Symposium(1) VEE(1)
Authors
Somesh Jha(3) Eddie Kohler(2) Maxwell N. Krohn(2) Thomas W. Reps(2) William R. Harris(2) Zhi Yang(2) Adam Bates 0001(1) Adwait Nadkarni(1) Alex C. Snoeren(1) Alexander Yip(1) Amin Vahdat(1) Anant Kandikuppa(1) Benjamin Andow(1) Brian Shand(1) Charilaos Skandylas(1) David M. Eyers(1) More (+10 of total 51)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
181Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Tappan 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
148William 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
148Indrajit Roy 0001, 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
123Petros 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
84Maxwell N. Krohn, Eran Tromer Noninterference for a Practical DIFC-Based Operating System. Search on Bibsonomy SP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
74Ioannis 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
35Wenfa Li, Zhi Yang, Jia Liu Automatic analysis of DIFC systems using noninterference with declassification. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Jason Liu 0002, Anant Kandikuppa, Adam Bates 0001 Transparent DIFC: Harnessing Innate Application Event Logging for Fine-Grained Decentralized Information Flow Control. Search on Bibsonomy EuroS&P The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Charilaos Skandylas, Narges Khakpour, Jesper Andersson AT-DIFC+: Toward Adaptive and Trust-Aware Decentralized Information Flow Control. Search on Bibsonomy ACM Trans. Auton. Adapt. Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
35Adwait Nadkarni, Benjamin Andow, William Enck, Somesh Jha Practical DIFC Enforcement on Android. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2016 DBLP  BibTeX  RDF
35Mingyi Zhao, Peng Liu 0005 Modeling and Checking the Security of DIFC System Configurations. Search on Bibsonomy SafeConfig The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Zhi Yang, Lihua Yin, Miyi Duan, Shuyuan Jin Poster: towards formal verification of DIFC policies. Search on Bibsonomy CCS The full citation details ... 2011 DBLP  BibTeX  RDF
35William R. Harris, Somesh Jha, Thomas W. Reps DIFC programs by automatic instrumentation. Search on Bibsonomy CCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Qing Zhang 0012, 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
Displaying result #1 - #14 of 14 (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