Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
123 | Yûta Kaneko, Naoki Kobayashi 0001 |
Linear Declassification. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
117 | Boniface Hicks, Dave King 0002, Patrick D. McDaniel, Michael Hicks 0001 |
Trusted declassification: : high-level policy for a security-typed language. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification |
112 | Gilles Barthe, Salvador Cavadini, Tamara Rezk |
Tractable Enforcement of Declassification Policies. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
type systems, declassification, information flow security |
112 | Roberto Giacobazzi, Isabella Mastroeni |
Adjoining Declassification and Attack Models by Abstract Interpretation. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models |
96 | Stephen Chong, Andrew C. Myers |
End-to-End Enforcement of Erasure and Declassification. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification |
90 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Towards a logical account of declassification. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
information flow, confidentiality, aliasing |
90 | Aslan Askarov, Andrei Sabelfeld |
Gradual Release: Unifying Declassification, Encryption and Key Release Policies. |
S&P |
2007 |
DBLP DOI BibTeX RDF |
|
87 | Andrei Sabelfeld, Andrew C. Myers |
A Model for Delimited Information Release. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems |
79 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Expressive Declassification Policies and Modular Static Enforcement. |
SP |
2008 |
DBLP DOI BibTeX RDF |
verification, information flow, declassification, downgrading |
74 | Heiko Mantel, Alexander Reinhard |
Controlling the What and Where of Declassification in Language-Based Security. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
74 | Ana Almeida Matos, Gérard Boudol |
On Declassification and the Non-Disclosure Policy. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Bernadette Power, Geoff W. Hamilton |
Declassification: Transforming Java Programs to Remove Intermediate Classes. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Steve Zdancewic, Andrew C. Myers |
Robust Declassification. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
71 | Isabella Mastroeni |
On the Rôle of Abstract Non-interference in Language-Based Security. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
Language-based Security, Non-Interference, Declassification |
66 | Alexander Lux, Heiko Mantel |
Who Can Declassify?. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Andrei Sabelfeld, David Sands 0001 |
Dimensions and Principles of Declassification. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Stephen Tse, Steve Zdancewic |
A Design for a Security-Typed Language with Certificate-Based Declassification. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic |
Enforcing Robust Declassification. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Sruthi Bandhakavi, Charles C. Zhang, Marianne Winslett |
Super-sticky and declassifiable release policies for flexible information dissemination control. |
WPES |
2006 |
DBLP DOI BibTeX RDF |
release policies, privacy, declassification, sticky policies |
54 | Stephen Chong, Andrew C. Myers |
Security policies for downgrading. |
CCS |
2004 |
DBLP DOI BibTeX RDF |
information flow, security policies, noninterference, declassification, downgrading |
46 | Jeffrey A. Vaughan, Stephen Chong |
Inference of Expressive Declassification Policies. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
declassification policies, inference of security policies, information flow, language-based security |
41 | Andrei Sabelfeld |
Dimensions of Declassification in Theory and Practice. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Li Jiang, Lingdi Ping, Xuezeng Pan |
Combining robust declassification and intransitive noninterference. |
IMSCCS |
2007 |
DBLP DOI BibTeX RDF |
|
38 | 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 |
38 | Limin Jia 0001, Steve Zdancewic |
Encoding information flow in Aura. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
access control, information flow control, declassification, security type system, authorization logic |
38 | Niklas Broberg, David Sands 0001 |
Flow-sensitive semantics for dynamic information flow policies. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
information flow control, declassification, security type system |
38 | Alejandro Russo, Koen Claessen, John Hughes 0001 |
A library for light-weight information-flow security in haskell. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
information-flow, library, monad, declassification |
38 | Scott F. Smith 0001, Mark Thober |
Refactoring programs to secure information flows. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
refactoring, information flow, slicing, declassification |
33 | Yi Lu 0003, John Potter, Jingling Xue |
Ownership Downgrading for Ownership Types. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Niklas Broberg, David Sands 0001 |
Improving the Semantics of Imperfect Security. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
33 | 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 |
33 | Stephen Chong, Andrew C. Myers |
Language-Based Information Erasure. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Tom Chothia, Dominic Duggan, Jan Vitek |
Type-Based Distributed Access Control. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux |
Declassification Policy for Program Complexity Analysis. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg 0001 |
Compositional Security Definitions for Higher-Order Where Declassification. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Wenfa Li, Zhi Yang, Jia Liu |
Automatic analysis of DIFC systems using noninterference with declassification. |
Neural Comput. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Graeme Smith 0001 |
Declassification Predicates for Controlled Information Release. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Zhenheng Dong, Yongxin Zhao, Qiang Wang |
An Information Flow Security Logic for Permission-Based Declassification Strategy. |
SEKE |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Yuxuan Wang, Haowen Yan, Liming Zhang |
A New Declassification Method for Vector Geographic Data. |
CSW |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
ANOSY: approximated knowledge synthesis with refinement types for declassification. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Johan Bay, Aslan Askarov |
Reconciling progress-insensitive noninterference and declassification. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
25 | Minh Ngo, David A. Naumann, Tamara Rezk |
Type-Based Declassification for Free. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Johan Bay, Aslan Askarov |
Reconciling progress-insensitive noninterference and declassification. |
CSF |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Wen Luo, Dongshuang Li, Zhaoyuan Yu, Yun Wang, Zhengjun Yan, Linwang Yuan |
Geometric Algebra-Based Multilevel Declassification Method for Geographical Field Data. |
CGI |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Matteo Busi 0001, Pierpaolo Degano, Letterio Galletta |
Robust Declassification by Incremental Typing. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Bauereiß |
Composition and Declassification in Possibilistic Information Flow Security. (PDF / PS) |
|
2019 |
RDF |
|
25 | Hao Zhu, Jianping Chen |
软件系统的可信降密述评 (Review of Trust Declassification for Software System). |
计算机科学 |
2018 |
DBLP BibTeX RDF |
|
25 | Ning Xi 0002, Di Lu, Cong Sun 0001, Jianfeng Ma 0001, Yulong Shen |
Distributed Secure Service Composition with Declassification in Mobile Clouds. |
Mob. Inf. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Willard Rafnsson, Andrei Sabelfeld |
Secure multi-execution: Fine-grained, declassification-aware, and transparent. |
J. Comput. Secur. |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif |
Declassification of Information with Complex Filter Functions. |
ICISSP |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Iulia Bolosteanu, Deepak Garg 0001 |
Asymmetric Secure Multi-execution with Declassification. |
POST |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Simon Greiner, Daniel Grahl |
Non-interference with What-Declassification in Component-Based Systems. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Ning Xi 0002, Cong Sun 0001, Jianfeng Ma 0001, Yulong Shen, Di Lu |
Distributed Secure Service Composition with Declassification in Mobile Network. |
NaNA |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Bart van Delft, Richard Bubel |
Dependency-Based Information Flow Analysis with Declassification in a Program Logic. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
25 | Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson |
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
25 | Li Jin, Hao Zhu |
多线程环境中的二维降密策略 (Two-dimension Declassification Policy in Multithreaded Environments). |
计算机科学 |
2015 |
DBLP BibTeX RDF |
|
25 | Li Jin, Hao Zhu |
基于自动机监控的二维降密策略 (Declassification Policy Based on Automaton Monitoring). |
计算机科学 |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson |
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. |
ESORICS (2) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer |
A Formalization of Declassification with WHAT-and-WHERE-Security. |
Arch. Formal Proofs |
2014 |
DBLP BibTeX RDF |
|
25 | Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk |
Stateful Declassification Policies for Event-Driven Programs. |
CSF |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Bruno P. S. Rocha, Mauro Conti, Sandro Etalle, Bruno Crispo |
Hybrid Static-Runtime Information Flow and Declassification Enforcement. |
IEEE Trans. Inf. Forensics Secur. |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Willard Rafnsson, Andrei Sabelfeld |
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. |
CSF |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Hao Zhu, Yi Zhuang 0002 |
Flow-Sensitive Automaton-Based Monitoring of a Declassification Policy. |
J. Softw. |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Lux, Heiko Mantel, Matthias Perner |
Scheduler-Independent Declassification. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Eike Best, Philippe Darondeau |
Deciding Selective Declassification of Petri Nets. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Cong Sun 0001, Sheng Gao 0002, Jianfeng Ma 0001 |
Verifying Location-Based Services with Declassification Enforcement. |
APWeb |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Harold C. Relyea |
Declassification review of congressional records. |
Gov. Inf. Q. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Isabella Mastroeni, Anindya Banerjee 0001 |
Modelling declassification policies using abstract domain completeness. |
Math. Struct. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Cong Sun 0001, Liyong Tang, Zhong Chen 0001 |
A New Enforcement on Declassification with Reachability Analysis |
CoRR |
2011 |
DBLP BibTeX RDF |
|
25 | Julien A. Thomas, Nora Cuppens-Boulahia, Frédéric Cuppens |
Declassification Policy Management in Dynamic Information Systems. |
ARES |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Abril, Guillermo Navarro-Arribas, Vicenç Torra |
On the Declassification of Confidential Documents. |
MDAI |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Julien A. Thomas, Frédéric Cuppens, Nora Cuppens-Boulahia |
Consistency Policies for Dynamic Information Systems with Declassification Flows. |
ICISS |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Vikki Gordon |
National Security Directive declassification. |
Gov. Inf. Q. |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Aslan Askarov, Andrew C. Myers |
A Semantic Framework for Declassification and Endorsement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle |
Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Josef Svenningsson, David Sands 0001 |
Specification and Verification of Side Channel Declassification |
CoRR |
2009 |
DBLP BibTeX RDF |
|
25 | Andrei Sabelfeld, David Sands 0001 |
Declassification: Dimensions and principles. |
J. Comput. Secur. |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Ana Almeida Matos, Gérard Boudol |
On declassification and the non-disclosure policy. |
J. Comput. Secur. |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Demongeot, Julien Mallet, Yves Le Traon |
Runtime verification of declassification for imperative programs: Formal foundations. |
CRiSIS |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Lux, Heiko Mantel |
Declassification with Explicit Reference Points. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Josef Svenningsson, David Sands 0001 |
Specification and Verification of Side Channel Declassification. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Anindya Banerjee 0001, Roberto Giacobazzi, Isabella Mastroeni |
What You Lose is What You Leak: Information Leakage in Declassification Policies. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic |
Enforcing Robust Declassification and Qualified Robustness. |
J. Comput. Secur. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Heiko Mantel, David Sands 0001 |
Controlled Declassification Based on Intransitive Noninterference. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Steve Zdancewic |
A Type System for Robust Declassification. |
MFPS |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Musard Balliu, Isabella Mastroeni |
A weakest precondition approach to active attacks analysis. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
robustness, non-interference, declassification, program semantics, active attackers |
22 | Avraham Shinnar, Marco Pistoia, Anindya Banerjee 0001 |
A language for information flow: dynamic tracking in multiple interdependent dimensions. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
information flow control, declassification, security type system |
22 | Nikhil Swamy, Michael Hicks 0001 |
Verified enforcement of stateful information release policies. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types |
22 | Nikhil Swamy, Michael Hicks 0001 |
Verified enforcement of stateful information release policies. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
certified evaluation, state modifying, dependent, declassification, affine, singleton types |
22 | Scott F. Smith 0001, Mark Thober |
Improving usability of information flow security in java. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
java, security policies, type inference, declassification, information flow security |
22 | Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers |
Secure program partitioning. |
ACM Trans. Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading |
22 | Andrew C. Myers, Barbara Liskov |
Protecting privacy using the decentralized label model. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading |
16 | Adedayo Adetoye, Atta Badii |
A Policy Model for Secure Information Flow. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Cédric Fournet, Tamara Rezk |
Cryptographically sound implementations for typed information-flow security. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow |
16 | Stephen Tse, Steve Zdancewic |
Run-time principals in information-flow type systems. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference |
16 | Jeffrey A. Vaughan, Steve Zdancewic |
A Cryptographic Decentralized Label Model. |
S&P |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ariel Futoransky, Emiliano Kargieman, Carlos Sarraute, Ariel Waissbein |
Foundations and applications for secure triggers. |
ACM Trans. Inf. Syst. Secur. |
2006 |
DBLP DOI BibTeX RDF |
Malicious host problem, secure triggers, obfuscation, universally composable security, mobile code security |
16 | Silvia Crafa, Sabina Rossi |
P-congruences as non-interference for the pi-calculus. |
FMSE |
2006 |
DBLP DOI BibTeX RDF |
process calculi, noninterference, downgrading |
16 | Christian Hammer 0001, Jens Krinke, Frank Nodes |
Intransitive Noninterference in Dependence Graphs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|