| |
| 2008 | ||
|---|---|---|
| 3 | EE | Anindya Banerjee, David A. Naumann, Stan Rosenberg: Regional Logic for Local Reasoning about Global Invariants. ECOOP 2008: 387-411 |
| 2 | EE | Anindya Banerjee, David A. Naumann, Stan Rosenberg: Expressive Declassification Policies and Modular Static Enforcement. IEEE Symposium on Security and Privacy 2008: 339-353 |
| 2007 | ||
| 1 | EE | Anindya Banerjee, David A. Naumann, Stan Rosenberg: Towards a logical account of declassification. PLAS 2007: 61-66 |
| 1 | Anindya Banerjee | [1] [2] [3] |
| 2 | David A. Naumann | [1] [2] [3] |