|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 8 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aslan Askarov, Andrew C. Myers |
Attacker Control and Impact for Confidentiality and Integrity  |
Logical Methods in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld |
Decentralized Delimited Release.  |
APLAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
Predictive mitigation of timing channels in interactive systems.  |
ACM Conference on Computer and Communications Security  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Andrew Myers |
A Semantic Framework for Declassification and Endorsement.  |
ESOP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Danfeng Zhang, Andrew C. Myers |
Predictive black-box mitigation of timing channels.  |
ACM Conference on Computer and Communications Security  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld |
A lattice-based approach to mashup security.  |
ASIACCS  |
2010 |
DBLP DOI BibTeX RDF |
web mashups, information flow, security policies, lattices, noninterference, declassification |
| 1 | Aslan Askarov, Andrei Sabelfeld |
Catch me if you can: permissive yet secure error handling.  |
PLAS  |
2009 |
DBLP DOI BibTeX RDF |
exception handling, security type system |
| 1 | Aslan Askarov, Andrei Sabelfeld |
Tight Enforcement of Information-Release Policies for Dynamic Languages.  |
CSF  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Daniel Hedin, Andrei Sabelfeld |
Cryptographically-masked flows.  |
Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands |
Termination-Insensitive Noninterference Leaks More Than Just a Bit.  |
ESORICS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Andrei Sabelfeld |
Gradual Release: Unifying Declassification, Encryption and Key Release Policies.  |
IEEE Symposium on Security and Privacy  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Andrei Sabelfeld |
Localized delimited release: combining the what and where dimensions of information release.  |
PLAS  |
2007 |
DBLP DOI BibTeX RDF |
de-classification, information flow, security policies, noninterference, downgrading |
| 1 | Aslan Askarov, Daniel Hedin, Andrei Sabelfeld |
Cryptographically-Masked Flows.  |
SAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Andrei Sabelfeld |
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.  |
ESORICS  |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|