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.