Run-time Information Flow Monitoring based on Dynamic Dependence Graphs | Publicación