Dates
Thursday, May 01, 2025 - 11:00am to Thursday, May 01, 2025 - 12:00pm
Location
Old CS Room 2311
Event Description
Joyanta Debnath, Computer Science. View dissertation announcement and abstract here.
Event Title
PhD Thesis Defense: On the Development of an X.509 Certificate Chain Validation Implementation with Formal Correctness Guarantees