Abstract non-interference
From MaRDI portal
Publication:3452260
DOI10.1145/964001.964017zbMATH Open1325.68043OpenAlexW2131916295WikidataQ64216246 ScholiaQ64216246MaRDI QIDQ3452260FDOQ3452260
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
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
Theory of programming languages (68N15) Cryptography (94A60) Semantics in the theory of computing (68Q55)
Cited In (28)
- 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
- Relational bytecode correlations
- Optimality and condensing of information flow through linear refinement
- Timing-Sensitive Information Flow Analysis for Synchronous Systems
- Modelling declassification policies using abstract domain completeness
- Typed Lambda Calculi and Applications
- Sound symbolic execution via abstract interpretation and its application to security
- Formal Modeling and Analysis of Timed Systems
- Software watermarking: a semantics-based approach
- A proof system for abstract non-interference
- Automation of quantitative information-flow analysis
- Maximizing entropy over Markov processes
- Instruction-level security analysis for information flow in stack-based assembly languages
- 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?
- Noninterference for free
- Non-interference Properties for Data-Type Reduction of Communicating Systems
- Partial evaluation of string obfuscations for Java malware detection
- Transforming Abstract Interpretations by Abstract Interpretation
- Programming Languages and Systems
- Computer Science Logic
- Static Analysis
- Symbolic abstract heaps for polymorphic information-flow guard inference
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)
