On November 7, 2024, the winners of the 10th German IT Security Award were announced in Darmstadt. The first prize of 100,000 euros was awarded to the concept “CryptOpt: Verified and High-Performance Cryptographic Code”, submitted by Yuval Yarom, Professor of Computer Security and CASA PI, together with colleagues. CryptOpt is a compilation pipeline that automatically generates secure and efficient cryptographic code.