CRYSP

CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs

CoordinatorFrench Institute for Research in Computer Science and Automation
Grant period2010-11-01 - 2015-10-31
Funding bodyEuropean Union
Call numberERC-2010-StG_20091028
Grant number259639
IdentifierG:(EU-Grant)259639

     

Recent Publications

There are no publications


 Record created 2014-10-20, last modified 2023-02-28



Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)