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 domainsabstract interpretationlanguage-based securitynon-interference

Mathematics Subject Classification ID

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

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

(35)

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

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)