log in  |  register  |  feedback?  |  help  |  web accessibility
PhD Proposal: End-to-End Certification of Cryptographic Primitives
Yi Lee
IRB-5107 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, December 12, 2024, 10:00 am-12:00 pm
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract
 
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
Bio

Yi Lee is a PhD student advised by Dr. Xiaodi Wu. He is interested in formal verification and cryptography. Before coming to Maryland, he was advised by Dr. Kai-Min Chung at Academia Sinica, Taiwan.

This talk is organized by Migo Gui