Parallelism and Security
| PARSEC web site | All | T0+6 | |
| Design of cooperative and reactive programming models | (objectives 2, 3, 4) | MIMOSA, PPS | T0+12 |
| Logics for reliability and security of concurrent systems | (objectives 5, 6, 7, 14) | EVEREST, LANDE, MOSCOVA | T0+12 |
| Improved static analysis for secure information flow | (objectives 8, 9) | EVEREST, MIMOSA | T0+12 |
| Notions of secure information flow | (objectives 10, 11) | MIMOSA, MOSCOVA | T0+12 |
| Mechanizing the verification of security properties | (objectives 1, 17, 18, 19) | EVEREST, LANDE, MOSCOVA | T0+18 |
| Secure information flow for cooperative and reactive systems | (objectives 12, 13) | MIMOSA, PPS | T0+24 |
| Analysis for resource control | (objectives 15, 16) | LANDE, PPS | TO+24 |