A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages | IEEE Conference Publication | IEEE Xplore