Luciano BelloEduardo BonelliOn-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow.55-692011Formal Aspects in Security and Trusthttps://doi.org/10.1007/978-3-642-29420-4_4conf/ifip1-7/2011db/conf/ifip1-7/fast2011.html#BelloB11