Foundations of Cryptographic Proof Systems CS Department Colloquium Series Alex Lombardi, Massachusetts Institute of Technology April 05 12:30 pm Computer Science Building, 105 See event website for additional details and how to view or participate.
