Project description
Cryptographic solutions with proven security
With the advent of blockchains, the imminence of quantum computers, and widespread concerns about privacy, enterprises are turning to sophisticated cryptographic solutions customised for their specific needs. Unfortunately, cryptographic design and implementation is notoriously error-prone with a long history of design flaws, implementation bugs, and high-profile attacks. The results of the ERC project Circus offer a way forward by using formal verification to build cryptographic software with machine-checked proofs of security and correctness. The EU-funded Cryspen project proposes to establish a company that will transition the research software developed by the Circus project towards production-quality ready-to-use verified cryptographic solutions in C, Rust, and JavaScript. The project seeks to fund the technical transfer of research results and the business development of the new company.
Fields of science
- natural sciencescomputer and information sciencessoftware
- humanitieshistory and archaeologyhistory
- natural sciencescomputer and information sciencescomputer securitycryptography
- engineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarequantum computers
- natural sciencescomputer and information sciencesartificial intelligencemachine learning
Programme(s)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Funding Scheme
HORIZON-AG-LS - HORIZON Lump Sum Grant
Coordinator
78153 Le Chesnay Cedex
France
See on map