PhD Proposal: End-to-End Certification of Cryptographic Primitives

https://umd.zoom.us/j/7188143177?pwd=WXI5Q0laL2RTWmNoOVBxL2paOXZJdz09&omn=98491494041

Abstract:

We apply formal verification techniques to achieve end-to-end certification in cryptographic settings. This includes verification of provable security, implementation correctness, and side-channel resistance. By identifying and repairing flaws that we encounter as well as ruling out any additional gaps, we aim to increase assurance in recent cryptography algorithms and software. We also contribute to state-of-the-art open source frameworks for computer-aided cryptography