Abstract non-interference

DOI10.1145/964001.964017MaRDI QIDQ3452260zbMATH OpenOpenAlexWikidataFDO

Authors 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

zbMATH Keywords

abstract interpretationnon-interferenceabstract domainslanguage-based security

Mathematics Subject Classification ID

Theory of programming languages (68N15) Cryptography (94A60) Semantics in the theory of computing (68Q55)

Recommendations

• A proof system for abstract non-interference
• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• Computer Science Logic
• Typed Lambda Calculi and Applications
• Abstractions of non-interference security: probabilistic versus possibilistic
• Static Analysis
• On interference abstractions
• Abstract Certification of Global Non-interference in Rewriting Logic

Cited in

(32)

• Programming Languages and Systems
• Maximizing entropy over Markov processes
• Instruction-level security analysis for information flow in stack-based assembly languages
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Semantics-based software watermarking by abstract interpretation
• Abstract code injection. A semantic approach based on abstract non-interference
• Computer Science Logic
• Typed Lambda Calculi and Applications
• Non-interference Properties for Data-Type Reduction of Communicating Systems
• Modelling declassification policies using abstract domain completeness
• Information leakage analysis by abstract interpretation
• What you lose is what you leak: information leakage in declassification policies
• Software watermarking: a semantics-based approach
• Decidability and proof systems for language-based noninterference relations
• Sound symbolic execution via abstract interpretation and its application to security
• Optimality and condensing of information flow through linear refinement
• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• A proof system for abstract non-interference
• Static Analysis
• Deriving Bisimulations by Simplifying Partitions
• Noninterference for free
• Abstract Certification of Global Non-interference in Rewriting Logic
• Timing-sensitive information flow analysis for synchronous systems
• Architectural refinement and notions of intransitive noninterference
• Formal Modeling and Analysis of Timed Systems
• Relational bytecode correlations
• Is Your Software on Dope?
• Symbolic abstract heaps for polymorphic information-flow guard inference
• Partial evaluation of string obfuscations for Java malware detection
• Transforming Abstract Interpretations by Abstract Interpretation
• Abstractions preserving parameter confidentiality
• Automation of quantitative information-flow analysis

This page was built for publication: Abstract non-interference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452260)