The Community for Technology Leaders
2016 IEEE Security and Privacy Workshops (SPW) (2016)
San Jose, CA, USA
May 22, 2016 to May 26, 2016
ISBN: 978-1-5090-3691-2
pp: 179-184
ABSTRACT
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.
INDEX TERMS
Context, Security, Interference, Concrete, Optimization, Privacy, Conferences,
CITATION
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
105 ms
(Ver 3.3 (11022016))