« search calendars« DIMACS/MACS Workshop on Usable, Efficient, and Formally Verified Secure Computation
« Panel - The Future of Formally Verified Secure Computing
Panel - The Future of Formally Verified Secure Computing
March 15, 2019, 3:15 PM - 4:15 PM
Location:
Barrister's Hall - first floor
Boston University Law School
765 Commonwealth Avenue
Boston, MA 02215
Amal Ahmed, Northeastern University
Ran Canetti, Boston University
abhi shelat, Northeastern University
Alley Stoughton, Boston University