Exploratory action

CACHAÇA

Compact Asymmetric Cryptography with High Assurance for Constrained Applications
Compact Asymmetric Cryptography with High Assurance for Constrained Applications
  1. Home
  2. Exploratory actions
  3. CACHAÇA 
Fast, safe, and strong cryptography is essential for secure networked communications. 
Currently, high-assurance techniques from formal methods are only applied once 
cryptosystems reach maturity and standardization. CACHAÇA will bring these 
techniques to the initial design and implementation phase for new postquantum 
cryptosystems, to produce fast, safe, and portable software implementations, 
especially for constrained environments such as IoT devices.
Inria teams involved
GRACE
In partnership with
ANSSI

Contacts

Benjamin Smith

Scientific leader