Final Report Summary - ERCC (Efficient Resource Constrained Cryptography)
The main results of the ERCC project include the highly efficiency encryption scheme KYBER and the signatures schemes DILITHIUM, whose security is provably related to breaking certain well studied problems over lattices. We were furthermore able to solve the long standing open problem of constructing an encryption scheme over general cyclic groups whose security is tightly related to standard Diffie-Hellman assumptions. At a conceptual level, the project also proposed several generic models of computation that allow for a simple and meaningful security analysis of cryptographic protocols in this context.