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

(34)

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

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)