Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Overall Objectives

Highlights

VĂ©ronique Cortier has received a starting grant from the European Research Council (ERC). Her project, called ProSecure (Provably secure systems: foundations, design, and modularity), will start in 2011 for five years.


previous
next

Logo Inria