Abstract non-interference
From MaRDI portal
Publication:3452260
DOI10.1145/964001.964017zbMath1325.68043WikidataQ64216246 ScholiaQ64216246MaRDI QIDQ3452260
Roberto Giacobazzi, Isabella Mastroeni
Publication date: 11 November 2015
Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/964001.964017
94A60: Cryptography
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
Related Items
What You Lose is What You Leak: Information Leakage in Declassification Policies, Automation of Quantitative Information-Flow Analysis, Deriving Bisimulations by Simplifying Partitions, Maximizing entropy over Markov processes, Relational bytecode correlations, Instruction-level security analysis for information flow in stack-based assembly languages, Optimality and condensing of information flow through linear refinement, Information Leakage Analysis by Abstract Interpretation, Modelling declassification policies using abstract domain completeness, Transforming Abstract Interpretations by Abstract Interpretation