Fine Grained Dataflow Tracking with Proximal Gradients  

Published in USENIX Security, 2021