Skip to content
cs-conference-ranking.org

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

Peter Aldous, Matthew Might

VenueA*SP
Year2016
ProceedingsIEEE Symposium on Security and Privacy Workshops
DBLP recordconf/sp/AldousM16 ↗

Browse the full SP paper archive.