Feb 24, 2023 Foundations of Lattice-based Cryptography Sep 16, 2022 Why we couldn't prove SETH hardness of CVP for even norms, Subset-SUM, and Many more! Aug 30, 2022 Improved Quantum Query Upper Bounds Based on Classical Decision Trees Oct 22, 2021 Local Differential Privacy Oct 22, 2021 Polynomial Time Byzantine Agreement with Optimal Resilience Oct 22, 2021 Simulation extractability of Fiat-Shamir transformation of multi-round protocols Oct 15, 2021 Is it Easier to Prove Theorems that are Guaranteed to be True Aug 15, 2021 Random Number Generation and Extraction