A Posteriori Taint-Tracking for Demonstrating Non-Interference in Expressive Low-Level Languages

Watch a 16-minute IEEE conference talk exploring a posteriori taint-tracking techniques for demonstrating non-interference in expressive low-level languages. Delve into an implementation of previously presented theory, examining empirical evaluations and performance optimizations. Learn about the independence of taint-flow analysis from taint-free analysis results, broadening the applicability of information-flow analysis. Discover metrics demonstrating improved performance on a suite of applications, covering topics such as dynamic analysis, noninterference, abstraction, multiple successors, taintstore, and context aint set.

Introduction
Taint Flow Analysis
Dynamic Analysis
Noninterference
Abstraction
Multiple successors
Taintstore
Context Aint Set
Immediate PostDominator
Abstracting
Projection
Proof
Results
Improvements
Updated Results