Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1998-2005 (23) 2006-2007 (21) 2008-2009 (22) 2010-2012 (15) 2013-2017 (15) 2018-2024 (15)
Publication types (Num. hits)
article(28) inproceedings(82) phdthesis(1)
Venues (Conferences, Journals, ...)
PLAS(10) CoRR(7) CSFW(7) ESOP(7) CSF(6) J. Comput. Secur.(4) S&P(4) APLAS(3) 计算机科学(3) ARSPA-WITS(2) ESORICS(2) Formal Aspects in Security and...(2) Gov. Inf. Q.(2) ICFEM(2) IEEE Symposium on Security and...(2) MFPS(2) More (+10 of total 60)
Authors
Andrew C. Myers(12) Andrei Sabelfeld(11) Steve Zdancewic(11) David Sands 0001(9) Aslan Askarov(6) Heiko Mantel(6) Anindya Banerjee 0001(5) Isabella Mastroeni(5) Alexander Lux(4) Cong Sun 0001(4) David A. Naumann(4) Hao Zhu(4) Stephen Chong(4) Tamara Rezk(4) Ana Almeida Matos(3) Jianfeng Ma 0001(3) More (+10 of total 165)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 124 occurrences of 53 keywords
Results
Found 111 publication records. Showing 111 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
16Peng Li, Steve Zdancewic Encoding Information Flow in Haskell. Search on Bibsonomy CSFW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Niklas Broberg, David Sands 0001 Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Marc Lelarge, Zhen Liu 0001, Anton Riabov Automatic Composition of Secure Workflows. Search on Bibsonomy ATC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16David A. Naumann From Coupling Relations to Mated Invariants for Checking Information Flow. Search on Bibsonomy ESORICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Andrew C. Myers Programming with Explicit Security Policies. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Ádám Darvas, Reiner Hähnle, David Sands 0001 A Theorem Proving Approach to Analysis of Secure Information Flow. Search on Bibsonomy SPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Ana Almeida Matos Non-disclosure for Distributed Mobile Code. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Stephen Tse, Steve Zdancewic Run-time Principals in Information-flow Type Systems. Search on Bibsonomy S&P The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Peter Herrmann Information Flow Analysis of Component-Structured Applications. Search on Bibsonomy ACSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16François Pottier, Sylvain Conchon Information flow inference for free. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Andrew C. Myers, Barbara Liskov Complete, Safe Information Flow with Decentralized Labels. Search on Bibsonomy S&P The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #111 of 111 (100 per page; Change: )
Pages: [<<][1][2]
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