Ling Ren: Proof of Space from Stacked Expanders Friday, October 21, 2016  10:30am to 12:00pm Abstract: Recently, proof of space (PoS) has been suggested as a more egalitarian alternative to the traditional hashbased proof of work. 

Omer Paneth: On Obfuscation with Random Oracles Friday, April 10, 2015  10:30am to 12:00pm Abstract: 

Sergey Gorbunov: GraphInduced Multilinear Maps from Lattices Friday, April 24, 2015  10:30am to 12:00pm Graded multilinear encodings have found extensive applications in cryptography ranging from noninteractive key ex 

On Virtual Grey Box Obfuscation for General Circuits Friday, October 17, 2014  10:30am to 12:00pm Abstract: An obfuscator $\O$ is Virtual Grey Box (VGB) for a class $\C$ of circuits if, for any $C \in \C$ and any predicate $\pi$, deducing $\pi(C)$ given $\O(C)$ is tantamount to deducing $\pi(C)$ given unbounded computational resources and polynomially many oracle queries to $ 

Sum of Squares Proofs and the Quest towards Optimal Algorithms Wednesday, September 3, 2014  10:00am 

Elette Boyle: LargeScale Secure Computation Friday, July 25, 2014  10:30am to 12:00pm 

Manoj M. Prabhakaran "The Communication Complexity of Secure Computation" Thursday, July 10, 2014  11:00am to 12:00pm Information theoretically secure multiparty computation(MPC) is a
central primitive of modern cryptography. However, relatively little
is known about the communication complexity of this primitive. In this 

Brent Waters: Witness Encryption and Indistinguishability Obfuscation from the Multilinear Subgroup Elimination Assumption Friday, July 11, 2014  10:30am to 12:00pm In this talk I will present new techniques for proving the security of 