Abstract non-interference

DOI10.1145/964001.964017zbMath1325.68043WikidataQ64216246 ScholiaQ64216246MaRDI QIDQ3452260

Isabella Mastroeni, Roberto Giacobazzi

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

zbMATH Keywords

abstract interpretation; non-interference; abstract domains; language-based security

Mathematics Subject Classification ID

94A60: Cryptography

68N15: Theory of programming languages

68Q55: Semantics in the theory of computing

Related Items

Semantics-based software watermarking by abstract interpretation, What You Lose is What You Leak: Information Leakage in Declassification Policies, Abstract Program Slicing, Automation of Quantitative Information-Flow Analysis, Deriving Bisimulations by Simplifying Partitions, Timing-Sensitive Information Flow Analysis for Synchronous Systems, Maximizing entropy over Markov processes, Partial evaluation of string obfuscations for Java malware detection, Relational bytecode correlations, Software watermarking: a semantics-based approach, Instruction-level security analysis for information flow in stack-based assembly languages, Optimality and condensing of information flow through linear refinement, Is Your Software on Dope?, Information Leakage Analysis by Abstract Interpretation, Modelling declassification policies using abstract domain completeness, Transforming Abstract Interpretations by Abstract Interpretation