Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

CRYSPEN

Financiado

Custom Cryptographic Solutions with Formal Security Guarantees

Modern web applications routinely rely on standardized cryptographic protocols and algorithms to protect sensitive user data. Furthermore, with the advent of blockchains, the imminence of quantum computers, and widespread concerns... ver más

30/09/2023

INRIA

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQU... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-09-30

Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:

ERC-2022-POC1: ERC PROOF OF CONCEPT GRANTS1

I+D

Cerrada hace 3 años

0% 100% 100%

1 Participantes

INRIA

150.00K€ | Lider

Proyectos interesantes

PID2020-119397RB-I00 HARDWARE DE CONFIANZA Y CON SEGURIDAD POST-CUANTICA PARA CAR... 84K€ Cerrado

DECRYPSYS Decentralized Cryptographic Systems 2M€ Cerrado

PTA2021-020316-I Desarrollador Blockchain Junior e Ingeniería Criptográfica 43K€ Cerrado

CONSEC Secure Execution of Smart Contracts 1M€ Cerrado

QUBIP Quantum-oriented Update to Browsers and Infrastructures for... 6M€ Cerrado

RTC-2017-6595-7 Hardware-based Security for Blockchain Technologies (HardBlo... 323K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Duración del proyecto: 18 meses Fecha Inicio: 2022-03-28
Fecha Fin: 2023-09-30

Presupuesto del proyecto 150K€

Descripción del proyecto Modern web applications routinely rely on standardized cryptographic protocols and algorithms to protect sensitive user data. Furthermore, with the advent of blockchains, the imminence of quantum computers, and widespread concerns about privacy in an era of surveillance and machine learning algorithms, enterprises are increasingly turning to sophisticated non-standard cryptographic solutions customized for specific usage scenarios. Unfortunately, cryptographic design and implementation is notoriously error-prone with a long history of design flaws, implementation bugs, and high-profile attacks. This leaves software companies with a difficult choice: every time they deploy a new crypto standard or an innovative cryptographic application that improves the security and privacy of their users, they risk exposing embarrassing flaws in their design or code. The research results of ERC Circus offer a way out of this conundrum by advocating the use of formal verification to build cryptographic software with machine-checked proofs of security and correctness. A landmark output from this project is HACL*, a verified high-performance cryptographic library which is currently used by mainstream software like Mozilla Firefox, Linux Kernel, Tezos Blockchain, and ElectionGuard. We propose to establish a company (called Cryspen) that will transition the research software developed in ERC Circus towards a production-quality ready-to-use verified cryptographic software stack. In addition, Cryspen will offer a developer-friendly verification framework that can be used to build new custom cryptographic solutions in C, Rust, and JavaScript. The goal of this Proof-of-Concept proposal is to fund the initial technical transfer of research software to Cryspen and the business development of this company. Once this transfer is complete, Cryspen will be able to offer long-term service contracts to existing and new users of HACL*, and offer software contracts to enterprises interested in deploying verified cryptographic software.

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores