CMU Cylab Crypto Seminar

Next Thursday, May 9 at 4:30pm ET, Binyi Chen (chancharles92.github.io/) will talk about "LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems". See you there remotely or in person! More details at sites.google.com/view/crypto….

Also, last Tuesday, April 30, Matan Shtepel talked about "Maliciously-secure PIR (almost) for free". Watch the recording if you missed it! youtube.com/watch?v=fGN5Njes…

This Thursday, May 2 at 4:30pm ET, Alex Hoover will talk about "Plinko: Single-Server PIR with Efficient Updates via Invertible PRFs". See you there remotely or in person! More details at sites.google.com/view/crypto…….

Next Thursday, April 25 at 4:30pm ET, Neekon Vafa will talk about "Memory Checking Requires Logarithmic Overhead". See you there remotely or in person! More details at sites.google.com/view/crypto…. (Paul Lou also talked this Thursday; see the recording on our Youtube channel!)

Next Thursday, April 11 at 4:30pm ET, Kabir Tomer will talk about "Commitments from Quantum One-Wayness". See you there remotely or in person! More details at sites.google.com/view/crypto….

This Friday, April 5 at 4:30pm ET, Aditi Partap will talk about "Accountability for Misbehavior in Threshold Decryption via Threshold Traitor Tracing". See you there remotely or in person! More details at sites.google.com/view/crypto….

Also, this Thursday, Mar 28 at 4:30pm ET, Rachit Garg (sites.google.com/view/rachit…) will talk about "Time-Lock Puzzles with Efficient Batch Solving". See you there remotely or in person! More details at sites.google.com/view/crypto…….

This Tuesday, Mar 26 at 4:30pm ET, Nathan Geier will talk about "Amplification of Non-Interactive Zero Knowledge, Revisited". See you there remotely or in person! More details at sites.google.com/view/crypto….

This Thursday, Mar 21 at 4:30pm ET, Ziyi Guan (ziyiguan.github.io/) will talk about "Security Bounds for Proof-Carrying Data from Straightline Extractors". See you there remotely or in person! More details at sites.google.com/view/crypto….

We will resume our seminar series this semester! This Thursday, Feb 29 at 4:30pm, Justin Raizes (sites.google.com/view/justin…) will talk about "Secret Sharing with Certified Deletion". See you there remotely or in person! More details at sites.google.com/view/crypto….

This Thursday, Nov 16 at 4:30pm, our very own Quang Dao (quangvdao.github.io/) will talk about "Multi-Party Homomorphic Secret Sharing from Sparse Learning Parity with Noise". See you there remotely or in person! More details at sites.google.com/view/crypto…….

This Thursday, Nov 9 at 4:30pm, Noemi Glaeser (nglaeser.github.io/) will talk about "Efficient Registration-Based Encryption". See you there remotely or in person! More details at sites.google.com/view/crypto….

This Thursday, Oct 26 at 4:30pm, Chenkai Weng (ckweng.github.io/) will talk about "SUPERPACK: Dishonest Majority MPC with Constant Online Communication". See you there! More details at sites.google.com/view/crypto………….

This Thursday, Oct 12 at 4:30pm, Yiping Ma (seas.upenn.edu/~yipingma/) will talk about "Single-Server Secure Aggregation with Applications to Private Federated Learning". See you there! More details at sites.google.com/view/crypto……….

This Thursday, Oct 5 at 4:30pm, Jiatu Li (ljt12138.github.io/) will talk about "Can we find an empty pigeonhole efficiently?". See you there! More details at sites.google.com/view/crypto…….

Next Thursday, Sep 14 at 4:30pm, Josh Gancher (gancher.dev/) will talk about "Owl: Compositional Verification of Security Protocols via an Information-Flow Type System". See you there! More details at sites.google.com/view/crypto….

We're kicking off this semester with a talk this Tuesday, Aug 29 at 4:30pm EDT. Damiano Abram (damianoabram.github.io/) will present "On the (Im)possibility of Distributed Samplers: Lower Bounds and Party-Dynamic Constructions". See you there!

Also, this Thur, May 18 at 4:30pm EST we will have Sourav Das (sourav1547.github.io/) speaking on "Asynchronous Distributed Key Generation". Looking forward to seeing you there! More details at sites.google.com/view/crypto……………….

This Tues, May 16 at 2:00pm EST we will have Gilad Asharov (u.cs.biu.ac.il/~asharog/) speaking on "Perfectly Secure Broadcast and MPC in Constant Expected Time". Looking forward to seeing you there! More details at sites.google.com/view/crypto…………….

This Thur, May 11 at 4:30pm EST we will have Guilherme Rito (crypto.ethz.ch/~rito/) speaking on "Deniable Authentication When Signing Keys Leak". Looking forward to seeing you there! More details at sites.google.com/view/crypto………….