« Return home


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