Nir Bitansky: Verifiable Random Functions from NonInteractive WitnessIndistinguishable Proofs Friday, April 14, 2017  10:30am to 12:00pm Abstract: Verifiable random functions (VRFs), introduced by Micali, Rabin, and Vadhan (FOCS 99), are pseudorandom functions where the owner of the seed, in addition to computing the function's value at any point, can also generate a noninteractive proof that the value is correct, without comp 

Aloni Cohen: Cryptography with Updates Friday, April 7, 2017  10:30am to 12:00pm Abstract: Starting with the work of Bellare, Goldreich and Goldwasser, a rich line of work has studied the design of updatable cryptographic primitives. 

From Algebraic Complexity to Zero Knowledge Protocols Friday, March 24, 2017  10:30am to 12:00pm We present new techniques for achieving unconditional zero knowledge within models that combine probabilisti 

Yilei Chen: Constrainthiding constrained PRFs for NC1 from LWE Friday, March 10, 2017  10:30am to 12:00pm Abstract:


Itay Berman: ZeroKnowledge Proofs of Proximity Friday, March 17, 2017  10:30am to 12:00pm Abstract: 

Oxana Poburinnaya: Equivocating Yao: ConstantRound Adaptively Secure Multiparty Computation in the Plain Model Friday, February 24, 2017  10:30am to 12:00pm Abstract: Yao's garbling scheme is one of the basic building blocks of cryptographic protocol design. 

Prashant Nalini Vasudevan: AverageCase FineGrained Hardness, and what to do with it Friday, February 10, 2017  10:30am to 12:00pm Abstract: We present functions that are hard to compute on average for algorithms running in some fixed polynomial time, assuming widelyconjectured worstcase hardness of certain problems from the study of finegrained complexity. 

Rafael Pass: Rethinking LargeScale Consensus through Blockchains Friday, December 2, 2016  10:30am to 12:00pm Abstract: 

Joseph Bonneau: Public Randomness, Blockchains and Proofsofdelay Friday, November 18, 2016  12:30pm to 2:00pm A public, unpredictable source of randomness would enable many exciting applications, starting with verifiable public lotteries. It is an essential building block for many types of smart contract requiring random inputs, from online games to random audits. 

Vassilis Zikas: Fair and Robust MultiParty Computation using a Global Transaction Ledger Friday, November 18, 2016  10:30am to 12:00pm Abstract: 