Gestern wurde der 10. IT-Sicherheitspreis verliehen. Als Sieger erhält das Projekt „Cryptopt: Verified and High-Performance Cryptographic Code“ das Preisgeld von...