guest ::
PROSECURE
Provably secure systems: foundations, design, and modularity
| Coordinator | CNRS - Institut Écologie et Environnement |
| Grant period | 2011-02-01 - 2016-01-31 |
| Funding body | European Union |
| Call number | ERC-2010-StG_20091028 |
| Grant number | 258865 |
| Identifier | G:(EU-Grant)258865 |
Recent Publications
There are no publications
Record created 2012-12-05, last modified 2023-03-01