Beyond stack inspection: A unified access-control and information-flow security modelMarco PistoiaAnindya Banerjeeet al.2007S&P 2007
A language for information flow: Dynamic tracking in multiple interdependent dimensionsAvraham ShinnarMarco Pistoiaet al.2009PLAS 2009