Skip to main content

Awarded research grants by quarter

Q1 2025

  • Kartik Nayak (Duke University), Analytical Model for Analyzing Leader-based and DAG-based Protocols
  • Rishab Goyal (University of Wisconsin-Madison), Post-Quantum Homomorphic Commitments, Zero-Knowledge Proofs and Applications
  • Sanjam Garg (University of California, Berkeley), Fully Private Smart Contracts via Collaborative zkSNARKs
  • Yevgeniy Dodis, Censorship-Resistant Anonymous Publishing, Revisited

Q4 2024

  • Ke Wu (University of Michigan), Collusion Resistance For Transaction Fee Mechanisms
  • Aniket Kate (Purdue) and Chen-Da Liu Zhang (Lucerne University of Applied Sciences and Arts), Lightweight Secure Distributed Computing: Design and Development
  • Alon Rosen (Bocconi University), A New Approach to Verifying Computations on the Blockchain

Q3 2024

  • Mu Zhang (University of Utah), Detecting Logical Flaws in Smart Contract Bytecode
  • Eyal Ronen (Tel-Aviv University), Privacy Preserving Attestation and Post-Compromise Security for MPC Crypto Wallets
  • Stefano Tessaro (University of Washington), Advancing Privacy-Preserving Authentication
  • Christian Cachin (UNIBE), General Linear Erasure Codes

Q2 2024

  • Aayush Jain (CMU), Post-Quantum Threshold Signatures for the Blockchain
  • Ilya Sergey (National University of Singapore), Combining Interactive and Automated Proofs about Distributed Protocols in Lean
  • Ooi Beng Chin and Ho Nhut Minh (National University of Singapore), Parallel Execution of Wasm Smart Contracts on Nvidia GPUs

Q1 2024

Q4 2023

Q3 2023

  • Xuechao Wang (HKUST), Unveiling and Improving Unauthenticated BFT Protocols
  • Aurojit Panda (NYU), Detecting and Reacting to Errors in Distributed Systems at Runtime

Q2 2023