CRYSP
CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs
| Coordinator | French Institute for Research in Computer Science and Automation |
| Grant period | 2010-11-01 - 2015-10-31 |
| Funding body | European Union |
| Call number | ERC-2010-StG_20091028 |
| Grant number | 259639 |
| Identifier | G:(EU-Grant)259639 |