Cryptographic protocols have evolved significantly, adapting to the needs of recently developed applications. They provide several security properties at once, and end up being complex compositions of cryptographic primitives and schemes. The detailed study of such protocols is of utmost importance, given that some are deployed on a large, even global, scale.
At CRC, we focus on multiple areas of cryptographic protocols, from foundational primitives to the design, analysis, implementation and testing of robust, security-proof cryptographic protocols.
In addition, some of today’s most-used protocols are not quantum-resistant. As a consequence, hybrid protocols that combine PQC and traditional RSA or ECC have emerged as a practical solution.