Periodic Reporting for period 1 - CRYSPEN (Custom Cryptographic Solutions with Formal Security Guarantees)

With the advent of blockchains, the imminence of quantum computers, and widespread concerns about privacy, enterprises are turning to sophisticated cryptographic solutions customized for their specific needs. Unfortunately, cryptographic design and implementation is...