2016 IEEE Security and Privacy Workshops (SPW) (2016)
San Jose, CA, USA
May 22, 2016 to May 26, 2016
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SPW.2016.58
We previously presented a theory of analysis for expressive low-level languages that is capable of proving non-interference for expressive languages. We now provide an independent result for the taint-flow analysis that drives tracking of information. In particular, we show that the taint-tracking can be derived from the results of a taint-free analysis. In addition to improving performance, this independence broadens the applicability of the underlying approach to information-flow analysis.
Context, Security, Interference, Concrete, Optimization, Privacy, Conferences,
Peter Aldous, Matthew Might, "A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages", 2016 IEEE Security and Privacy Workshops (SPW), vol. 00, no. , pp. 179-184, 2016, doi:10.1109/SPW.2016.58