Section: Partnerships and Cooperations
European Initiatives
FP7 & H2020 Projects
CRYSP
-
Title: CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs
-
The goal of CRYSP is to use recent advances in software verification and dependent type systems and apply them to the verification of cryptographic protocol implementations written in a variety of languages. We want to enable the collaborative development of such programs and their specifications. Our target is to be able to verify mainstream implementations of the Transport Layer Security Protocol.