Cryptocurrencies
10:05-10:35am -  Nivvedan+Harish - "Eliminating Trust in Financial Transactions and Contracts" 
10:35-10:55am - Marc - "Alternative Puzzles for Proof-of-Work in Cryptocurrencies" 
10:55-11:15am - Zach - "Ethereum as a Random Number Beacon"

BREAK

Lattices / FHE
11:30-12:05pm - Doni+Hardik+Srikar - "Lattice-Based Cryptography"
12:05-12:25pm - Maruthi - "On Achievable Security Definitions of Homomorphic Encryption Schemes" 

LUNCH BREAK

Crypto / Complexity
1:30-2:00pm - Ben+Edo - "Differing Complexities of Equivalent Primitives"
2:00-2:30pm - Adam + Kevin - "Complexity-Theoretic Implications of iO" 

BREAK

Security
2:40-3:00pm - Raphi - "Cold Boot Attacks: From Ad Hoc to Cryptography" 
3:00-3:20pm - Daria - "An Overview of the Security of TLS 1.3 & Google QUIC"

BREAK

Crypto / Learning / Testing
3:30-4:00pm - Negev+Devanshi - "Secure Testing by Approximation - Limitations, Solutions and Tradeoffs"
4:00-4:20pm - Jihye - "Multiparty Private Learning"