6th BIU Winter School

6th BIU Winter School

Introduction and Overview of Verifiable Computation

Speaker: Walfish M.
6th BIU Winter School

Short Proofs of Delegated Computation: Foundations and Feasibility 1

Speaker: Kalai Y.
6th BIU Winter School

Short Proofs of Delegated Computation: Foundations and Feasibility 2

Speaker: Kalai Y.
6th BIU Winter School

Short Proofs of Delegated Computation: Foundations and Feasibility 3

Speaker: Kalai Y.
6th BIU Winter School

Interactive Arguments with Preprocessing

Speaker: Walfish M.
6th BIU Winter School

SNARKs with Preprocessing

Speaker: Tromer E.
6th BIU Winter School

Interactive Proofs and Program Representations 1

Speaker: Walfish M.
6th BIU Winter School

Program Representations 2

Speaker: Tromer E.
6th BIU Winter School

SNARKs (Without Preprocessing) and Their Applications

Speaker: Tromer E.
6th BIU Winter School

Additional Applications and Summary of Verifiable Computation

Speaker: Walfish M.
6th BIU Winter School

Introduction to Searchable Encryption (models and motivation)

Speaker: Boldyreva A.
6th BIU Winter School

Format-Preserving Encryption 1

Speaker: Weiss M.
6th BIU Winter School

Format-Preserving Encryption 2

Speaker: Weiss M.
6th BIU Winter School

Format-Preserving Encryption 3

Speaker: Weiss M.
6th BIU Winter School

Order-Preserving Encryption 1

Speaker: Boldyreva A.
6th BIU Winter School

Order-Preserving Encryption 2

Speaker: Boldyreva A.
6th BIU Winter School

Statistical Attacks on Deterministic and Order-Preserving Encryption

Speaker: Boldyreva A.
6th BIU Winter School

Probabilistic Searchable Symmetric Encryption

Speaker: Krawczyk H.
6th BIU Winter School

Practical Searchable Encryption on Large Datasets 1

Speaker: Krawczyk H.
6th BIU Winter School

Practical Searchable Encryption on Large Datasets 2

Speaker: Krawczyk H.
6th BIU Winter School

Practical Searchable Encryption on Large Datasets 3

Speaker: Krawczyk H.
6th BIU Winter School

Searchable Encryption Using ORAM

Speaker: Pinkas B.