Section: Partnerships and Cooperations
European Initiatives
FP7 Projects
CRYSP
Title: CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs
Abstract: The goal of this grant is to develop a collaborative specification framework and to build incremental, modular, scalable verification techniques that enable a group of collaborating programmers to build an application and its security proof side-by-side. We propose to validate this framework by developing the first large-scale web application and full-featured cryptographic protocol libraries with formal proofs of security.