New York Area CryptoDay
July 12, 2013 (Friday) at NYU Courant Institute ( 251 Mercer St. & West 4th ) Room 1302
|10:00 – 10:30.||Introduction/Coffee|
|10:30 – 11:20.||Mariana Raykova, IBM
Succinct NIZKs from Quadratic Span Programs (QSPs) and Quadratic Arithmetic Programs (QAPs), and Pinocchio – a system for nearly practical verifiable computation.
|11:30 – 12:20.||Hoeteck Wee, George Washington U
On the Security of the TLS Protocol: A Systematic Analysis.
|12:30 – 2:30.||Lunch (not provided)|
|2:30 – 3:20.||Colin Jia Zheng. Harvard
A Uniform Min-Max Theorem with Applications in Cryptography
|3:30 – 4:20.||Yael Kalai, MSR
How to Run Turing Machines on Encrypted Data
Tal Rabin (IBM) and Daniel Wichs (IBM)
with the help and support of Yevgeniy Dodis