April 27-29, 2018

Hacienda Forest View Hotel

Ma'alot-Tarshiha, Israel

Program

Session I (Friday, April 27)

14:00

Break

14:45

15:00

15:45

Break

17:00

16:45

Break

16:00

11:30

Rafael Pass (Cornell University & Cornell Tech) 

Paradoxes in Computer-Aided Decision Making

Break

11:15

10:30

Yael Kalai (Microsoft Research)

Succinct Proofs for Non-Deterministic Computations

10:15

Break

09:30

Session II (Saturday, April 28)

Ueli Maurer (ETH Zurich)

Reduction-less Cryptography

17:00

Break

17:45

Vinod Vaikuntanathan (MIT)
Secret Sharing and CDS

18:00

Break

16:45

16:00

Eike Kiltz (Ruhr-Universität Bochum)

Memory-Tight Reductions

15:45

Break

15:00

Session III (Saturday, April 28)

Shai Halevi (IBM Research)

Best Possible Information-Theoretic MPC