Abstract non-interference
From MaRDI portal
Publication:3452260
DOI10.1145/964001.964017zbMath1325.68043OpenAlexW2131916295WikidataQ64216246 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
Cryptography (94A60) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items
Abstract Program Slicing, Automation of Quantitative Information-Flow Analysis, Instruction-level security analysis for information flow in stack-based assembly languages, Software watermarking: a semantics-based approach, Symbolic abstract heaps for polymorphic information-flow guard inference, Sound symbolic execution via abstract interpretation and its application to security, Transforming Abstract Interpretations by Abstract Interpretation, Semantics-based software watermarking by abstract interpretation, Maximizing entropy over Markov processes, Is Your Software on Dope?, Optimality and condensing of information flow through linear refinement, Partial evaluation of string obfuscations for Java malware detection, Relational bytecode correlations, Deriving Bisimulations by Simplifying Partitions, Information Leakage Analysis by Abstract Interpretation, Modelling declassification policies using abstract domain completeness, Timing-Sensitive Information Flow Analysis for Synchronous Systems, What You Lose is What You Leak: Information Leakage in Declassification Policies
