Publications

2 results for Anindya Banerjee

A language for information flow: Dynamic tracking in multiple interdependent dimensions
- - Avraham Shinnar
  - Marco Pistoia
  - et al.
- 2009
- PLAS 2009
Beyond stack inspection: A unified access-control and information-flow security model
- - Marco Pistoia
  - Anindya Banerjee
  - et al.
- 2007
- S&P 2007