Back to Events Private Event CRYPTO practice talk - Seyoon Ragavan August 12 2024 1:00P - 2:00P Location Seminar Room G575 Add to Calendar 2024-08-12 13:00:00 2024-08-12 14:00:00 America/New_York CRYPTO practice talk - Seyoon Ragavan Seminar Room G575 Organizer & Contact Seyoon Ragavan E sragavan@csail.mit.edu Related Events May 09 Veil: A Framework for Automated and Interactive Verification of Transition Systems 2:30P - 3:30P April 17 [Thesis Defense] Performant and Resilient Service Composition for Modern Cloud Applications 3:30P - 5:00P
May 09 Veil: A Framework for Automated and Interactive Verification of Transition Systems 2:30P - 3:30P
April 17 [Thesis Defense] Performant and Resilient Service Composition for Modern Cloud Applications 3:30P - 5:00P